java.io.File question

[Tom Tromey]

I looked at PR 4481 a little bit today.

First, we don't really seem to handle Windows paths very well.  My
fixlet to 4481 continues this tradition.  Do we have a plan for how we
want to handle Windows paths here?

Second, this code in File.normalizePath seems wrong:

    if (dupSeparator.equals("\\") && dupIndex == 0)
      dupIndex = p.indexOf(dupSeparator, 1);

I think that string should read "\\\\".

Tom