Fetches the document headers using the HTTP HEAD method.
public void head(String URL);
This method fetches the document headers using the HTTP HEAD method. The headers are received through the Header event.