Patch: URLClassLoader change

[Mark Wielaard]

Hi,

On Mon, 2002-12-30 at 23:37, Tom Tromey wrote:
> If it is really not possible to cleanly fix this, then go ahead and
> check in your patch.  If you could, also submit a PR so we know to fix
> this in the future.

Given that you and Jeroen say that the clean way, doing it through
File.toURL(), currently doesn't work correctly in either gcj or
Classpath I will check in what we have now since that is at least known
to work and consistent on all platforms.

New bug is #9124.

Cheers,

Mark