Merge branch 'master' into actions

electrum/src/main/java/edu/mit/csail/sdg/alloy4/WorkerEngine.java

@@ -104,14 +104,11 @@ public static void stop() {
 			try {
 				Field f = latest_sub.getClass().getDeclaredField("pid");
 				f.setAccessible(true);
-				System.out.println("Process ID : " + f.get(latest_sub));
 				Runtime.getRuntime().exec("kill -SIGTERM "+f.get(latest_sub));
-
 			} catch (NoSuchFieldException | SecurityException | IllegalArgumentException | IllegalAccessException | IOException e) {
 				// TODO Auto-generated catch block
 				e.printStackTrace();
 			}
-
 //        	 latest_sub.destroy();
         	 }} finally { latest_manager=null; latest_sub=null; }
       }

electrum/src/main/java/edu/mit/csail/sdg/alloy4whole/PreferencesDialog.java

@@ -226,8 +226,9 @@ private static boolean isSat(String output) {
    private static boolean loadLibrary(String library) {
        boolean loaded = _loadLibrary(library);
        String libName = System.mapLibraryName(library);
-       if (loaded) System.out.println("Loaded: " + libName);
-       else System.out.println("Failed to load: " + libName);
+       if ("yes".equals(System.getProperty("debug"))) // [HASLab]
+	       if (loaded) System.out.println("Loaded: " + libName);
+	       else System.out.println("Failed to load: " + libName);
        return loaded;
    }
 
@@ -238,20 +239,23 @@ private static boolean staticLibrary(String name) {
        for(int i = dirs.length-1; i >= 0; i--) {
           final File file = new File(dirs[i]+File.separator+name);
           if (file.canExecute()) {
-        	  System.out.println("Loaded: " + name);
+              if ("yes".equals(System.getProperty("debug")))
+            	  System.out.println("Loaded: " + name);
         	  return true;
           }
        }
 	   // check if in system path
 	   for (String str : (System.getenv("PATH")+":/usr/local/bin").split(Pattern.quote(File.pathSeparator))) {
 		   Path pth = Paths.get(str);
 		   if (Files.exists(pth.resolve(name))) {
-              System.out.println("Loaded: " + name);
+		      if ("yes".equals(System.getProperty("debug"))) 
+		    	  System.out.println("Loaded: " + name);
 			  return true;
 		   }
 	   }
 
-	   System.out.println("Failed to load: " + name);
+       if ("yes".equals(System.getProperty("debug")))
+    	   System.out.println("Failed to load: " + name);
        return false;
 	}