code: private static int skipPatternWhiteSpace(String text, int pos) {
          while (pos < text.length()) {
              int c = UTF16.charAt(text, pos);
              if (!PatternProps.isWhiteSpace(c)) {
                  break;
              }
              pos += UTF16.getCharCount(c);
          }
          return pos;
      }
docs: Skips over a run of zero or more Pattern_White_Space characters at pos in text.