else if(filename.endsWith(".gif"))
else if(resource.endsWith(".gif"))
	public String getHeaderField(String name)	{		if(name.equals("content-type"))		{			String filename = getURL().getFile().toLowerCase();			if(filename.endsWith(".html"))				return "text/html";			else if(filename.endsWith(".txt"))				return "text/plain";			else if(filename.endsWith(".rtf"))				return "text/rtf";			else if(filename.endsWith(".gif"))				return "image/gif";			else if(filename.endsWith(".jpg") || filename.endsWith(".jpeg"))				return "image/jpeg";			else				return null;		}		else			return null;	}