Fix

diff --git a/Robust/src/Benchmarks/Distributed/SpamFilter/Mail.java b/Robust/src/Benchmarks/Distributed/SpamFilter/Mail.java
index 99824e8eb08f3c686a009cf9b6004e289fe2fb3a..ea4491880fe574e786e0a721fa58c803f513a93b 100644 (file)
--- 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());