Added agent function, modified robots.txt handler to use it. Modified HttpHandler.connect() to have a head argument with a default of false.
Commented out setJarPath() in HttpHandler.
Initial revision
This form allows you to request diffs between any two revisions of this file. For each of the two "sides" of the diff, enter a numeric revision.