Name: skT88420 Date: 10/13/99

=20
10/13/99 eval1127@eng -- reappearance of # 4166902?

It is possible to construct an URL as follows:
  new URL("file:c:/").
If the file is extracted from this URL with getFile, a File
object created with it and the file list retrieved with listFiles,
the resulting File objects return an URL that is inconsistent
with the given one.
The File.toURL method adds a slash in front of the filename. You
would get "file:/c:/boot.ini" for example.
It can be reproduced with the following code:

import java.io.File;
import java.net.URL;

public class Test

{

  public static void
  main(String[] args) throws Exception
  {
    URL url =3D new URL(args[0]);
    File[] files =3D new File(url.getFile()).listFiles();

    System.out.println(url.toString());

    for (int i =3D 0; i < files.length; ++i)
    {
      System.out.println(files[i].toURL().toString());
    }
  }

} // Test

I think the problem is that the URL constructor shouldn't have
allowed "file:c:/" as an argument. The path name should begin
with a slash.
"file:c:/" and "file:/c:/" are anyway not equal because URL.equals
returns false when using them.
(Review ID: 96477)=20
======================================================================