while Character.isWhiteSpace

Author: datdenkikniet

src/main/java/dev/morling/onebrc/WeatherStationFactory.java

@@ -83,10 +83,10 @@ public static List<WeatherStation> getWeatherStationsList(long seed) throws Exce
                 var nameBuf = new StringBuilder(nameLen);
                 nameBuf.append(buf, 0, nameLen);
 
-                if (Character.isWhitespace(nameBuf.charAt(0))) {
+                while (Character.isWhitespace(nameBuf.charAt(0))) {
                     nameBuf.setCharAt(0, readNonSpace(nameSource));
                 }
-                if (Character.isWhitespace(nameBuf.charAt(nameBuf.length() - 1))) {
+                while (Character.isWhitespace(nameBuf.charAt(nameBuf.length() - 1))) {
                     nameBuf.setCharAt(nameBuf.length() - 1, readNonSpace(nameSource));
                 }
 
@@ -141,7 +141,7 @@ private static char readNonSpace(StringReader nameSource) throws Exception {
                 throw new Exception("Name source exhausted");
             }
             c = (char) n;
-        } while (c == ' ');
+        } while (Character.isWhitespace(c));
 
         return c;
     }