java.io.File#toURI()

[Ito Kazumitsu]

Hi,

I am afraid java.io.File#toURI() is not correctly implemented now.

Suggested patch:

ChangeLog entry:

2004-06-01 Ito Kazumitsu  <address@hidden>

        * libraries/javalib/java/io/File.java
        (toURI): Use new URI(scheme, userInfo, host, port, path,
        query, fragment).

--- java/io/File.java.orig      Tue Jun  1 22:52:28 2004
+++ java/io/File.java   Tue Jun  1 23:40:33 2004
@@ -781,7 +781,8 @@
         
     try
       {
-       return new URI("file", "", abspath.replace(separatorChar, '/'));
+       return new URI("file", null, null, -1,
+       abspath.replace(separatorChar, '/'), null, null);
       }
     catch (URISyntaxException use)
       {