private static Success<String> parseDigits(String s, int p) { StringBuilder sb = new StringBuilder(); while (Character.isDigit(s.charAt(p))) sb.append(s.charAt(p++)); return new Success<String>(sb.toString(), p); }