From b70ab02e1a7d71c862184eedfe1a7a5b2d033727 Mon Sep 17 00:00:00 2001
From: jihoonl <jihoonl>
Date: Sun, 1 Nov 2009 06:44:04 +0000
Subject: [PATCH] small bug fix

---
 .../Distributed/SpamFilter/Mail.java          | 20 +++++++++----------
 1 file changed, 10 insertions(+), 10 deletions(-)

diff --git a/Robust/src/Benchmarks/Distributed/SpamFilter/Mail.java b/Robust/src/Benchmarks/Distributed/SpamFilter/Mail.java
index a398f74a..bf26fdc1 100644
--- a/Robust/src/Benchmarks/Distributed/SpamFilter/Mail.java
+++ b/Robust/src/Benchmarks/Distributed/SpamFilter/Mail.java
@@ -239,9 +239,9 @@ public class Mail {
     Vector returnStrings = new Vector();
 
     // add header, sender, and title
-    returnStrings.add(header);
-    returnStrings.add(from);
-    returnStrings.add(subject);
+    returnStrings.addElement(header);
+    returnStrings.addElement(from);
+    returnStrings.addElement(subject);
 
     String[] splittedBody = body.split();
 
@@ -250,11 +250,11 @@ public class Mail {
     {
       if(segment.startsWith("http://"))  // URL
       {
-        returnStrings.add(segment);
+        returnStrings.addElement(segment);
       }
       else if(isEmailAccount(segment)) // email
       {
-        returnStrings.add(segment);
+        returnStrings.addElement(segment);
       }
     }
 
@@ -292,9 +292,9 @@ public class Mail {
     Vector returnStrings = new Vector();
 
     // add header, sender, and title
-    returnStrings.add(header);
-    returnStrings.add(from);
-    returnStrings.add(subject);
+    returnStrings.addElement(header);
+    returnStrings.addElement(from);
+    returnStrings.addElement(subject);
 
     char[] charArray = noURLBody.toCharArray();
 
@@ -304,7 +304,7 @@ public class Mail {
     for(int i=1; i< noURLBody.length(); i++)
     {
       if((i % size) == 0) {
-        returnStrings.add(tmpStr);
+        returnStrings.addElement(tmpStr);
         tmpStr = new String();
       }
       else {
@@ -312,7 +312,7 @@ public class Mail {
       }
     }
 
-    returnStrings.add(tmpStr);
+    returnStrings.addElement(tmpStr);
 
     return returnStrings;
   }
-- 
2.34.1