From 3cfd1e2c090c9bce206f4836d16cca1e4785f667 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Mon, 18 Apr 2011 18:46:57 +0000
Subject: [PATCH] no need to build these classes unless they are actually
 accessed

---
 Robust/src/Main/Main.java | 12 +-----------
 1 file changed, 1 insertion(+), 11 deletions(-)

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");
-- 
2.34.1