Merge pull request #833 from MarcMil/improve-code

Fix DefaultLocalGenerator reference due to refactoring

Author: StevenArzt

soot-infoflow/src/soot/jimple/infoflow/AbstractInfoflow.java

@@ -26,6 +26,7 @@
 import soot.BooleanType;
 import soot.ByteType;
 import soot.CharType;
+import soot.DefaultLocalGenerator;
 import soot.DoubleType;
 import soot.FastHierarchy;
 import soot.FloatType;
@@ -48,7 +49,6 @@
 import soot.Type;
 import soot.Unit;
 import soot.Value;
-import soot.javaToJimple.DefaultLocalGenerator;
 import soot.jimple.AssignStmt;
 import soot.jimple.DynamicInvokeExpr;
 import soot.jimple.InvokeExpr;
@@ -451,7 +451,7 @@ protected void setSourcePrec() {
 			else
 				soot.options.Options.v().set_android_jars(this.androidPath.getAbsolutePath());
 		} else
-			Options.v().set_src_prec(Options.src_prec_java);
+			Options.v().set_src_prec(Options.src_prec_class);
 	}
 
 	private void setChaOptions() {

soot-infoflow/src/soot/jimple/infoflow/InfoflowConfiguration.java

@@ -695,7 +695,7 @@ public int getMaxCallStackSize() {
 		 * longer than this limit, the path reconstruction is aborted and the respective
 		 * path is skipped.
 		 *
-		 * @return The maximum length of a taint propagtation path3
+		 * @return The maximum length of a taint propagation path
 		 */
 		public int getMaxPathLength() {
 			return maxPathLength;