jdk/src/share/classes/java/io/File.java
changeset 11117 b6e68b1344d4
parent 9538 e6df26dc76c5
child 11907 c021db66251d
--- a/jdk/src/share/classes/java/io/File.java	Wed Nov 30 10:57:51 2011 +0000
+++ b/jdk/src/share/classes/java/io/File.java	Wed Nov 30 12:42:26 2011 +0000
@@ -2006,7 +2006,7 @@
         throws IOException
     {
         s.defaultWriteObject();
-        s.writeChar(this.separatorChar); // Add the separator character
+        s.writeChar(separatorChar); // Add the separator character
     }
 
     /**