Small bug fix

diff --git a/Robust/src/ClassLibrary/String.java b/Robust/src/ClassLibrary/String.java
index c28c8d4e9602b207b2a6e96962ed224c6f6f1785..07632bec02607f87dd5b739db3b9c37bcc6b9aef 100644 (file)
--- a/Robust/src/ClassLibrary/String.java
+++ b/Robust/src/ClassLibrary/String.java
@@ -384,7 +384,6 @@ public class String {
 
   public Vector split() {
     Vector splitted = new Vector();
-    char[] token = "\n\t ";
     int i;
     int cnt =0;
 
@@ -392,12 +391,13 @@ public class String {
 
     for(i = 0; i< count; i++) {
       if(value[i] == '\n' || value[i] == '\t' || value[i] == ' ') {
-        splitted.add(tmpStr);
+        splitted.addElement(tmpStr);
         tmpStr = new String();
       }else {
         tmpStr += value[i];
       }
     }
+    splitted.addElement(tmpStr);
 
     return splitted;