java.io.File: "normalize" path names

[Tom Tromey]

>>>>> "Bryce" == Bryce McKinlay <bryce@albatross.co.nz> writes:

Bryce> Path names represented by File objects should not contain "any
Bryce> duplicate or redundant separator characters". This patch
Bryce> "normalizes" File paths which contain such characters,
Bryce> consistent with the JDK.

FYI, my understanding is that in POSIX a leading `//' is allowed to
have a special meaning.  Does anybody have a reference available?
This might only be meaningful in a pedantic sense.  There might not be
systems in use where it matters.

Tom