From: jzhou <jzhou>
Date: Tue, 11 Mar 2008 21:40:46 +0000 (+0000)
Subject: Import Vector & Enumeration for new benchmarks(MapReduce)
X-Git-Tag: preEdgeChange~232
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=b157bf016357b6f195d372caea804da5ff4fd458;p=IRC.git

Import Vector & Enumeration for new benchmarks(MapReduce)
---

diff --git a/Robust/src/Main/Main.java b/Robust/src/Main/Main.java
index 93109038..4f22f88b 100644
--- 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) {