# HG changeset patch # User Peter Mehlitz # Date 1426704731 25200 # Node ID cb7500a46eabb62425d16107963d83f550e2e242 # Parent 7ba603d4ba20102546fde4b75b4215d116834869 some minor syntax fixes to make IntelliJ happy diff -r 7ba603d4ba20 -r cb7500a46eab nbproject/project.xml --- a/nbproject/project.xml Mon Mar 16 19:39:36 2015 -0700 +++ b/nbproject/project.xml Wed Mar 18 11:52:11 2015 -0700 @@ -280,13 +280,13 @@ src/peers - build/main:build/annotations + build/annotations;build/main build/peers 1.8 src/classes - build/annotations:build/main + build/annotations;build/main build/classes 1.8 diff -r 7ba603d4ba20 -r cb7500a46eab src/main/gov/nasa/jpf/vm/FunctionObjectFactory.java --- a/src/main/gov/nasa/jpf/vm/FunctionObjectFactory.java Mon Mar 16 19:39:36 2015 -0700 +++ b/src/main/gov/nasa/jpf/vm/FunctionObjectFactory.java Wed Mar 18 11:52:11 2015 -0700 @@ -45,21 +45,21 @@ for(int i = 0; i(); + list = new ArrayList(); } list.add((T)ai); } diff -r 7ba603d4ba20 -r cb7500a46eab src/main/gov/nasa/jpf/vm/MethodInfo.java --- a/src/main/gov/nasa/jpf/vm/MethodInfo.java Mon Mar 16 19:39:36 2015 -0700 +++ b/src/main/gov/nasa/jpf/vm/MethodInfo.java Wed Mar 18 11:52:11 2015 -0700 @@ -1216,7 +1216,7 @@ for (LocalVarInfo lv : localVars){ if (lv.hasTypeAnnotations()){ if (list == null){ - list = new ArrayList<>(); + list = new ArrayList(); } list.add(lv); } @@ -1238,7 +1238,7 @@ AbstractTypeAnnotationInfo tai = lv.getTypeAnnotation(annotationClsName); if (tai != null){ if (list == null){ - list = new ArrayList<>(); + list = new ArrayList(); } list.add(lv); }