static boolean isDigit(char c) {
  ret Character.isDigit(c);
}