On 18.09.2007 19:34 Uhr, Joerg Heinicke wrote:
// toExternalForm() is buggy, see e.g. http://bugs.sun.com/bugdatabase/view_bug.do?bug_id=4924415// therefore we check if file: is followed by just one slash// TODO when we move to JDK 1.4+, we should use file.toURI().toASCIIString() instead.
Btw., I can't confirm the proposed fixes in Sun's bug tracker. It's not only File.toURL() that is broken. File.toURI() does neither work for me on Mac OS X but ends up with just 1 slash.
Joerg
