pull in class files that already exist in library

[IRC.git] / Robust / src / Main / Main.java

diff --git a/Robust/src/Main/Main.java b/Robust/src/Main/Main.java
index 05e5c99c890a7ba741163cd06684401761e35f6d..2dd61672e9e61f13180f9cd04e9be7d64172a529 100644 (file)
--- a/Robust/src/Main/Main.java
+++ b/Robust/src/Main/Main.java
@@ -174,6 +174,12 @@ public class Main {
     readSourceFile(state, ClassLibraryPrefix+"gnu/Random.java");
     readSourceFile(state, ClassLibraryPrefix+"Vector.java");
     readSourceFile(state, ClassLibraryPrefix+"Enumeration.java");
+    readSourceFile(state, ClassLibraryPrefix+"Dictionary.java");
+    readSourceFile(state, ClassLibraryPrefix+"Writer.java");
+    readSourceFile(state, ClassLibraryPrefix+"BufferedWriter.java");
+    readSourceFile(state, ClassLibraryPrefix+"OutputStreamWriter.java");
+    readSourceFile(state, ClassLibraryPrefix+"FileWriter.java");
+    readSourceFile(state, ClassLibraryPrefix+"Date.java");
 
     if (state.TASK) {
       readSourceFile(state, ClassLibraryPrefix+"Object.java");