oops this is the right one

diff --git a/Robust/src/Benchmarks/Distributed/SpamFilter/Mail.java b/Robust/src/Benchmarks/Distributed/SpamFilter/Mail.java
index a75e496cee1b52e75da59c02abcaadc4c5b9fbab..98890c41f748d8b76f0f689f78fc7be90ccd52d7 100644 (file)
--- a/Robust/src/Benchmarks/Distributed/SpamFilter/Mail.java
+++ b/Robust/src/Benchmarks/Distributed/SpamFilter/Mail.java
@@ -70,11 +70,11 @@ public class Mail {
 
 
     body = new String();
-    byte readBody[100000000];
+    byte[] readBody = new byte[1000000];
 
-    while((fileinput.readByte(readBody)!= EOF)
+    while((fileinput.read(readBody)!= -1))
     {
-      body += new String(readBody);
+      body.concat(new String(readBody));
     }
 
     fileinput.close();