< prev index next >

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

Print this page

        

*** 2146,2156 **** /** * WriteObject is called to save this filename. * The separator character is saved also so it can be replaced * in case the path is reconstituted on a different host type. ! * <p> * @serialData Default fields followed by separator character. */ private synchronized void writeObject(java.io.ObjectOutputStream s) throws IOException { --- 2146,2156 ---- /** * WriteObject is called to save this filename. * The separator character is saved also so it can be replaced * in case the path is reconstituted on a different host type. ! * * @serialData Default fields followed by separator character. */ private synchronized void writeObject(java.io.ObjectOutputStream s) throws IOException {
< prev index next >