no need to build these classes unless they are actually accessed

diff --git a/Robust/src/Main/Main.java b/Robust/src/Main/Main.java
index 2a6bdfb99d39dc3a4a98a5769129d6d84c1883ea..2009f545fc2c4c2f57f4fccc576063ebd964541d 100644 (file)
--- a/Robust/src/Main/Main.java
+++ b/Robust/src/Main/Main.java
@@ -420,20 +420,10 @@ public class Main {
       loadClass(state, bir,(String)sourcefiles.get(i));
 
     //Stuff the runtime wants to see
-    sc.getClass("String");
-    sc.getClass("Math");
-    sc.getClass("File");
-    sc.getClass("Socket");
-    sc.getClass("ServerSocket");
-    sc.getClass("FileInputStream");
-    sc.getClass("FileOutputStream");
+
     if (state.TASK) {
       sc.getClass("TagDescriptor");
     }
-    if (state.THREAD||state.DSM||state.SINGLETM||state.MGC) {
-      sc.getClass("Thread");
-    }
-
 
     sc.semanticCheck();
     State.logEvent("Done Semantic Checking");