Resend: [patch] File.toURI creates bogus URI

[Tom Tromey]

>>>>> ">" == Robin Green <greenrd@greenrd.org> writes:

>> 2004-12-06  Robin Green  <greenrd@greenrd.org>
>> 	* java/io/File.java
>> 	(toURI): Generate a URI which we understand

I'm going to check this in shortly.
I've turned your test case into a Mauve test.

Tom