public PlatformServletContext( ServletContext context )
public PlatformServletContext( ServletContext context, String urlLeadingString )
	public PlatformServletContext( ServletContext context )	{		this.context = context;	}