From: bdemsky <bdemsky>
Date: Mon, 18 Apr 2011 18:46:57 +0000 (+0000)
Subject: no need to build these classes unless they are actually accessed
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=3cfd1e2c090c9bce206f4836d16cca1e4785f667;p=IRC.git

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 2a6bdfb9..2009f545 100644
--- 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");