fixup! Merge pull request #8 from diffblue/remove-sun-imports

Author: romainbrenguier

src/main/java/java/lang/String.java

@@ -1392,6 +1392,27 @@ public byte[] getBytes() {
      * @diffblue.fullSupport
      */
     public boolean equals(Object anObject) {
+        // if (this == anObject) {
+        //     return true;
+        // }
+        // if (anObject instanceof String) {
+        //     String anotherString = (String)anObject;
+        //     int n = value.length;
+        //     if (n == anotherString.value.length) {
+        //         char v1[] = value;
+        //         char v2[] = anotherString.value;
+        //         int i = 0;
+        //         while (n-- != 0) {
+        //             if (v1[i] != v2[i])
+        //                 return false;
+        //             i++;
+        //         }
+        //         return true;
+        //     }
+        // }
+        // return false;
+
+        // DIFFBLUE MODEL LIBRARY Use CProverString function
         if (anObject instanceof String) {
             return CProverString.equals((String)anObject, this);
         }