readLine -> readByte for body

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