Merge branch 'develop' into mdev

Author: MarcMil

src/main/java/soot/Scene.java

@@ -1632,6 +1632,7 @@ private void addSootBasicClasses() {
 
     addBasicClass("java.lang.String");
     addBasicClass("java.lang.StringBuffer", SootClass.SIGNATURES);
+    addBasicClass("java.lang.StringBuilder", SootClass.SIGNATURES);
     addBasicClass("java.lang.Enum", SootClass.SIGNATURES);
 
     addBasicClass("java.lang.Error");