# HG changeset patch
# User Jaroslav Tulach <jaroslav.tulach@apidesign.org>
# Date 1349051391 25200
# Node ID a6ac0a32d3ea6b5a8b45a73f3f3ae470fb200d1a
# Parent  6e986ab70e08bd4d534b8d9465ef1a849467a5da
Disabling serialization for now

diff -r 6e986ab70e08 -r a6ac0a32d3ea emul/src/main/java/java/lang/StringBuilder.java
--- a/emul/src/main/java/java/lang/StringBuilder.java	Sun Sep 30 17:26:01 2012 -0700
+++ b/emul/src/main/java/java/lang/StringBuilder.java	Sun Sep 30 17:29:51 2012 -0700
@@ -416,22 +416,22 @@
      *             characters currently stored in the string builder, in which
      *             case extra characters are ignored.
      */
-    private void writeObject(java.io.ObjectOutputStream s)
-        throws java.io.IOException {
-        s.defaultWriteObject();
-        s.writeInt(count);
-        s.writeObject(value);
-    }
+//    private void writeObject(java.io.ObjectOutputStream s)
+//        throws java.io.IOException {
+//        s.defaultWriteObject();
+//        s.writeInt(count);
+//        s.writeObject(value);
+//    }
 
     /**
      * readObject is called to restore the state of the StringBuffer from
      * a stream.
      */
-    private void readObject(java.io.ObjectInputStream s)
-        throws java.io.IOException, ClassNotFoundException {
-        s.defaultReadObject();
-        count = s.readInt();
-        value = (char[]) s.readObject();
-    }
+//    private void readObject(java.io.ObjectInputStream s)
+//        throws java.io.IOException, ClassNotFoundException {
+//        s.defaultReadObject();
+//        count = s.readInt();
+//        value = (char[]) s.readObject();
+//    }
 
 }