src/share/classes/java/io/File.java

Print this page

        

*** 2004,2014 **** */ private synchronized void writeObject(java.io.ObjectOutputStream s) throws IOException { s.defaultWriteObject(); ! s.writeChar(this.separatorChar); // Add the separator character } /** * readObject is called to restore this filename. * The original separator character is read. If it is different --- 2004,2014 ---- */ private synchronized void writeObject(java.io.ObjectOutputStream s) throws IOException { s.defaultWriteObject(); ! s.writeChar(separatorChar); // Add the separator character } /** * readObject is called to restore this filename. * The original separator character is read. If it is different