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 } /**