Import Vector & Enumeration for new benchmarks(MapReduce)

diff --git a/Robust/src/Main/Main.java b/Robust/src/Main/Main.java
index 931090388fc9305ad6ba4f0baac81180bc3a46d1..4f22f88b9d414c1ec3e71ff68db58217c0aaa166 100644 (file)
--- a/Robust/src/Main/Main.java
+++ b/Robust/src/Main/Main.java
@@ -145,6 +145,8 @@ public class Main {
       readSourceFile(state, ClassLibraryPrefix+"SocketInputStream.java");
       readSourceFile(state, ClassLibraryPrefix+"SocketOutputStream.java");
       readSourceFile(state, ClassLibraryPrefix+"gnu/Random.java");
+         readSourceFile(state, ClassLibraryPrefix+"Vector.java");
+         readSourceFile(state, ClassLibraryPrefix+"Enumeration.java");
 
 
       if (state.TASK) {