code: public long
  getLong() throws IOException {
  	String next = _getIdentifier("an integer");
  	if (!Character.isDigit(next.charAt(0)))
  		throw exception("expected an integer");
  	try {
  		return Long.parseLong(next);
  	} catch (NumberFormatException e) {
  		throw exception("expected an integer");
  	}
  }
docs: Gets the next token from a tokenizer and converts it to a long.
  @return The next token in the stream, as a long.
  @throws TextParseException The input was invalid or not a long.
  @throws IOException An I/O error occurred.