From b157bf016357b6f195d372caea804da5ff4fd458 Mon Sep 17 00:00:00 2001
From: jzhou <jzhou>
Date: Tue, 11 Mar 2008 21:40:46 +0000
Subject: [PATCH] Import Vector & Enumeration for new benchmarks(MapReduce)

---
 Robust/src/Main/Main.java | 2 ++
 1 file changed, 2 insertions(+)

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) {
-- 
2.34.1