public HttpContext(ServletContext servletContext) 
{
        this.servletContext = servletContext;
}

Constructs a HttpContext object from a ServletContext object

 public Object getAttribute(String name) 
{
        return servletContext.getAttribute(name);
}

 public Enumeration getAttributeNames() 
{
        return servletContext.getAttributeNames();
}

 public ServletContext getContext(String uripath) 
{
        return this.servletContext.getContext(uripath);
}

 public String getInitParameter(String name) 
{
        return servletContext.getInitParameter(name);
}

 public Enumeration getInitParameterNames() 
{
        return this.servletContext.getInitParameterNames();
}

 public int getMajorVersion() 
{
        return this.servletContext.getMajorVersion();
}

 public String getMimeType(String file) 
{
      return servletContext.getMimeType(file);
}

 public int getMinorVersion() 
{
        return this.servletContext.getMinorVersion();
}

 public RequestDispatcher getNamedDispatcher(String name) 
{
        return this.servletContext.getNamedDispatcher(name);
}

 public String getRealPath(String path) 
{
        if (path.equals("/")) {
            String value = servletContext.getRealPath(path);
            if (value == null) {
                // Try to figure out the path of the root from that of WEB-INF
                try {
                value = this.servletContext.getResource("/WEB-INF").toString();
                } catch (MalformedURLException mue) {
                    throw new CascadingRuntimeException("Cannot determine the base URL for " + path, mue);
                }
                value = value.substring(0,value.length()-"WEB-INF".length());
            }
            return value;
        }
        return servletContext.getRealPath(path);
}

 public RequestDispatcher getRequestDispatcher(String path) 
{
        return this.servletContext.getRequestDispatcher(path);
}

 public URL getResource(String path) throws MalformedURLException 
{
       return servletContext.getResource(path);
}

 public InputStream getResourceAsStream(String path) 
{
    return servletContext.getResourceAsStream(path);
}

 public String getServerInfo() 
{
        return this.servletContext.getServerInfo();
}

 public  void log(String msg) 
{
        this.servletContext.log(msg);
}

 public  void log(String msg,
    Throwable throwable) 
{
        this.servletContext.log(msg, throwable);
}

 public  void removeAttribute(String name) 
{
        servletContext.removeAttribute(name);
}

 public  void setAttribute(String name,
    Object value) 
{
        servletContext.setAttribute(name, value);
}