java/io/File.java

66  * #separator} and {@link #separatorChar} of this class.
214     public static final char separatorChar = fs.getSeparator();
219      * {@link #separatorChar}.
221     public static final String separator = "" + separatorChar;
434         if (File.separatorChar != '/')
435             p = p.replace('/', File.separatorChar);
454         int index = path.lastIndexOf(separatorChar);
473         int index = path.lastIndexOf(separatorChar);
649         if (File.separatorChar != '/')
650             p = p.replace(File.separatorChar, '/');
2222         s.writeChar(separatorChar); // Add the separator character
2237         if (sep != separatorChar)
2238             pathField = pathField.replace(sep, separatorChar);