Hi,
I am afraid java.io.File#toURI() is not correctly implemented now.
Suggested patch:
ChangeLog entry:
2004-06-01 Ito Kazumitsu <[EMAIL PROTECTED]>
* 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)
{
_______________________________________________
Classpath mailing list
[EMAIL PROTECTED]
http://lists.gnu.org/mailman/listinfo/classpath
