StringBuffer.java (toString): Don't mark buffer as shared.

	* java/lang/StringBuffer.java (toString): Don't mark buffer as
	shared.
	(insert(int,char[],int,int): New method.
	(delete): New method from Classpath.
	(deleteCharAt): Likewise.
	(substring): Likewise.
	(shared): No longer private.
	Added JavaDoc comments from Classpath.
	* java/lang/String.java (String(StringBuffer)): Ensure `buffer' is
	shared.

From-SVN: r33809

libjava/ChangeLog

+2000-05-09  Tom Tromey  <tromey@cygnus.com>
+
+	* java/lang/StringBuffer.java (toString): Don't mark buffer as
+	shared.
+	(insert(int,char[],int,int): New method.
+	(delete): New method from Classpath.
+	(deleteCharAt): Likewise.
+	(substring): Likewise.
+	(shared): No longer private.
+	Added JavaDoc comments from Classpath.
+	* java/lang/String.java (String(StringBuffer)): Ensure `buffer' is
+	shared.
+
 2000-05-07  Tom Tromey  <tromey@cygnus.com>
 
 	* Makefile.in: Rebuilt.

libjava/java/lang/String.java

@@ -38,7 +38,11 @@ public final class String
 
   public String (StringBuffer buffer)
   {
-    init (buffer.value, 0, buffer.count, true);
+    synchronized (buffer)
+      {
+	buffer.shared = true;
+	init (buffer.value, 0, buffer.count, true);
+      }
   }
 
   public String (char[] data)