The JLS specifies java.io.File.getParent() in terms of simple string operations
on the File object's pathname string. This is wrong, since the definition of
parent directory is system-dependent. I have fixed the doc comment in the File
class to reflect this, but the specification in the JLS should also be fixed.