} while (Character.isWhitespace(last_char));
} while (Character.isWhitespace((char)last_char));
  public int readSkippingWS()  {    do {      last_char = reader.read();    } while (Character.isWhitespace(last_char));    return last_char;  }