getInt(position, "endCol"));
}
private Token convertToken(Obj token) {
Position position = getPosition(token);
TokenType type = convertTokenType(token.getField("tokenType"));
String text = getString(token, "text");
Object value = token.getField("value").getValue();
return new Token(position, type, text, value);
}