else return (http.getMimeType(file));
return (http.getMimeType(file));
	public String getMimeType(String file) {		String mimeType = httpContext.getMimeType(file);		if (mimeType != null)			return (mimeType);		else			return (http.getMimeType(file));	}