Downloads and saves the content at the specified url to the specified File, overwriting the file if it already exists; this method does not invoke the parser, and therefore UserAgent.doc is not updated; Http/https requests include session/cookie headers.