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

Print this page

        

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