Patch: java.net.URL: caching protocol handlers

[Tom Tromey]

>>>>> "Michael" == Michael Koch <konqueror@gmx.de> writes:

Michael> I have written two patches (attached) to merge some classpath
Michael> ability to libgcj. It introduces the
Michael> gnu.java.net.nocache_protocol_handlers property. This
Michael> property allows it to disable caching of protocol handlers in
Michael> java.net.URL.

Michael> +	(cache_handlers): New member variable.

This field is set but never used.
I think that should be addressed before the patch goes in.

The idea is fine, though.  The doc patch is fine.
So just make the URL.java change and this is ok.

Tom