bug fix

diff --git a/Robust/src/ClassLibrary/String.java b/Robust/src/ClassLibrary/String.java
index 614e98dded5e3494ab54d5ccbb291299d463e20c..abbbaf3b79cc3c7dff0efeb9b5e22ad46f402971 100644 (file)
--- a/Robust/src/ClassLibrary/String.java
+++ b/Robust/src/ClassLibrary/String.java
@@ -402,12 +402,12 @@ public class String {
          t.offset=oldi;
          t.count=i-oldi;
          splitted.addElement(t);
-         oldi=i;
 
          // skip extra spaces
          while( i < count && ( value[i+offset] == '\n' || value[i+offset] == '\t' || value[i+offset] == ' ')) {
              i++;
          }
+         oldi=i;
       } else {
          i++;
       }