From f6d31cc2a6ac1bb6460de01b3915b6b332c64d8f Mon Sep 17 00:00:00 2001
From: jihoonl <jihoonl>
Date: Fri, 13 Nov 2009 03:06:19 +0000
Subject: [PATCH] Fix

---
 Robust/src/Benchmarks/Distributed/SpamFilter/Mail.java | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/Robust/src/Benchmarks/Distributed/SpamFilter/Mail.java b/Robust/src/Benchmarks/Distributed/SpamFilter/Mail.java
index 99824e8e..ea449188 100644
--- a/Robust/src/Benchmarks/Distributed/SpamFilter/Mail.java
+++ b/Robust/src/Benchmarks/Distributed/SpamFilter/Mail.java
@@ -83,9 +83,10 @@ public class Mail {
 
     while((fileinput.read(readBody)>0))
     {
-      body.concat(new String(readBody));
+      body += new String(readBody);
     }
 
+
     fileinput.close();
 
     MAX_TOKEN_SIZE = 1024;
@@ -332,6 +333,7 @@ public class Mail {
   public void setNoURLBody()
   {
     noURLBody = new String();
+
     Vector splittedBody = body.split();
 
     System.out.println("DEBUG: splittedBody.size()= " + splittedBody.size());
-- 
2.34.1