Add ServerSocket/Socket classes.

diff --git a/Robust/src/Main/Main.java b/Robust/src/Main/Main.java
index f5c2c6b8e0a5fd135ac686a5ac6677373e875a3f..8dbe05dce9449d1895871af6273edd32e64bdc28 100644 (file)
--- a/Robust/src/Main/Main.java
+++ b/Robust/src/Main/Main.java
@@ -51,8 +51,11 @@ public class Main {
       readSourceFile(state, ClassLibraryPrefix+"Object.java");
       readSourceFile(state, ClassLibraryPrefix+"System.java");
       readSourceFile(state, ClassLibraryPrefix+"String.java");
-      if (state.TASK)      
+      if (state.TASK) {
          readSourceFile(state, ClassLibraryPrefix+"StartupObject.java");
+         readSourceFile(state, ClassLibraryPrefix+"Socket.java");
+         readSourceFile(state, ClassLibraryPrefix+"ServerSocket.java");
+      }
 
       BuildIR bir=new BuildIR(state);
       bir.buildtree();