Remove Random.<init> from list of ND methods.

Author: jon-bell

Code/ChroniclerJ/nondeterministic-methods.txt

@@ -31149,7 +31149,6 @@ com/sun/org/apache/xerces/internal/dom/DOMImplementationSourceImpl.getDOMImpleme
 com/sun/xml/internal/xsom/util/NameGetter.modelGroup:(Lcom/sun/xml/internal/xsom/XSModelGroup;)Ljava/lang/Object;
 org/omg/DynamicAny/_DynStructStub.copy:()Lorg/omg/DynamicAny/DynAny;
 com/sun/org/apache/xerces/internal/dom/ElementNSImpl.setName:(Ljava/lang/String;Ljava/lang/String;)V
-java/util/Random.<init>:()V
 javax/xml/stream/util/EventReaderDelegate.nextTag:()Ljavax/xml/stream/events/XMLEvent;
 com/sun/xml/internal/bind/v2/model/core/TypeInfoSet.dump:(Ljavax/xml/transform/Result;)V
 com/sun/org/apache/xml/internal/serializer/ToHTMLStream.startDTD:(Ljava/lang/String;Ljava/lang/String;Ljava/lang/String;)V

Code/ChroniclerJ/src/edu/columbia/cs/psl/chroniclerj/replay/ReplayUtils.java

@@ -43,7 +43,7 @@ public static int getNextIndex(HashMap replayIndexMap, String[] threadEntries, i
     public static void checkForDispatch() {
         int curClock = ExportedLog.globalReplayIndex;
         // System.out.println("Looking for dispatches at " + curClock);
-        if (dispatchesToRun.get(curClock) != null) {
+        if (dispatchesToRun != null && dispatchesToRun.get(curClock) != null) {
             // System.out.println("Invoke " + dispatchesToRun.get(curClock));
             if (dispatchesToRun.get(curClock).invoke()) {
                 // System.out.println("Success");
@@ -52,7 +52,7 @@ public static void checkForDispatch() {
             }
         }
         curClock++;
-        if (dispatchesToRun.get(curClock) != null) {
+        if (dispatchesToRun != null && dispatchesToRun.get(curClock) != null) {
             // System.out.println("Invoke " + dispatchesToRun.get(curClock));
             if (dispatchesToRun.get(curClock).invoke()) {
                 // System.out.println("Success");