# HG changeset patch
# User Jaroslav Tulach <jaroslav.tulach@apidesign.org>
# Date 1348897774 -7200
# Node ID 2ca1bb92989518ff5ab3fb915669d858d3eda77a
# Parent  f38a4a9f67c336ad686d901915dc016a887ae6dc
Less dependencies on other packages

diff -r f38a4a9f67c3 -r 2ca1bb929895 emul/pom.xml
--- a/emul/pom.xml	Sat Sep 29 06:47:28 2012 +0200
+++ b/emul/pom.xml	Sat Sep 29 07:49:34 2012 +0200
@@ -33,6 +33,8 @@
                   <compilerArguments>
                       <bootclasspath>non-existing</bootclasspath>
                   </compilerArguments>
+                 <source>1.7</source>
+                 <target>1.7</target>
               </configuration>
           </plugin>
       </plugins>
diff -r f38a4a9f67c3 -r 2ca1bb929895 emul/src/main/java/java/lang/AbstractStringBuilder.java
--- a/emul/src/main/java/java/lang/AbstractStringBuilder.java	Sat Sep 29 06:47:28 2012 +0200
+++ b/emul/src/main/java/java/lang/AbstractStringBuilder.java	Sat Sep 29 07:49:34 2012 +0200
@@ -25,9 +25,6 @@
 
 package java.lang;
 
-import sun.misc.FloatingDecimal;
-import java.util.Arrays;
-
 /**
  * A mutable sequence of characters.
  * <p>
@@ -127,7 +124,7 @@
                 throw new OutOfMemoryError();
             newCapacity = Integer.MAX_VALUE;
         }
-        value = Arrays.copyOf(value, newCapacity);
+        value = copyOf(value, newCapacity);
     }
 
     /**
@@ -139,7 +136,7 @@
      */
     public void trimToSize() {
         if (count < value.length) {
-            value = Arrays.copyOf(value, count);
+            value = copyOf(value, count);
         }
     }
 
@@ -654,8 +651,7 @@
      * @return  a reference to this object.
      */
     public AbstractStringBuilder append(float f) {
-        new FloatingDecimal(f).appendTo(this);
-        return this;
+        throw new UnsupportedOperationException();
     }
 
     /**
@@ -671,8 +667,7 @@
      * @return  a reference to this object.
      */
     public AbstractStringBuilder append(double d) {
-        new FloatingDecimal(d).appendTo(this);
-        return this;
+        throw new UnsupportedOperationException();
     }
 
     /**
@@ -1404,4 +1399,10 @@
         return value;
     }
 
+    private static char[] copyOf(char[] original, int newLength) {
+        char[] copy = new char[newLength];
+        System.arraycopy(original, 0, copy, 0,
+            Math.min(original.length, newLength));
+        return copy;
+    }
 }