fix wala.core testcases

com.ibm.wala.core/META-INF/MANIFEST.MF

@@ -66,3 +66,5 @@ Export-Package: .,
  com.ibm.wala.viz.viewer
 Bundle-RequiredExecutionEnvironment: JavaSE-1.7
 Eclipse-BuddyPolicy: registered
+Bundle-ClassPath: lib/slf4j-api-1.7.2.jar,
+ .

com.ibm.wala.core/build.properties

@@ -2,7 +2,8 @@ bin.includes = lib/primordial.jar.model,\
                plugin.properties,\
                dat/natives.xml,\
                META-INF/,\
-               .
+               .,\
+               lib/slf4j-api-1.7.2.jar
 jars.compile.order = .
 output.. = bin/
 source.. = dat/,\

com.ibm.wala.core/src/com/ibm/wala/ipa/callgraph/propagation/StandardSolver.java

@@ -71,7 +71,7 @@ public class StandardSolver extends AbstractPointsToSolver {
       }
       getBuilder().addConstraintsFromNewNodes(monitor);
 
-      monitor.worked(i);
+      if (monitor != null) { monitor.worked(i); }
       // Note that we may have added stuff to the
       // worklist; so,
     } while (!getSystem().emptyWorkList());