CLASS_DEF -> CLASS_DEF [4:0]
|--MODIFIERS -> MODIFIERS [4:0]
|--BLOCK_COMMENT_BEGIN -> /* [1:0]
|   |--COMMENT_CONTENT -> *\n* class javadoc\n [1:2]
|   |   `--JAVADOC -> \n* class javadoc\n<EOF> [1:3]
|   |       |--NEWLINE -> \n [1:3]
|   |       |--LEADING_ASTERISK -> * [2:0]
|   |       |--TEXT ->  class javadoc [2:1]
|   |       |--NEWLINE -> \n [2:15]
|   |       `--EOF -> <EOF> [3:0]
|   `--BLOCK_COMMENT_END -> */ [3:0]
|--LITERAL_CLASS -> class [4:0]
|--IDENT -> InputAstTreeStringPrinterJavaAndMethodsJavadoc [4:6]
`--OBJBLOCK -> OBJBLOCK [4:53]
    |--LCURLY -> { [4:53]
    |--VARIABLE_DEF -> VARIABLE_DEF [7:4]
    |   |--MODIFIERS -> MODIFIERS [7:4]
    |   |--TYPE -> TYPE [7:4]
    |   |   |--BLOCK_COMMENT_BEGIN -> /* [6:4]
    |   |   |   |--COMMENT_CONTENT -> * attribute javadoc [6:6]
    |   |   |   |   `--JAVADOC ->  attribute javadoc<EOF> [6:7]
    |   |   |   |       |--TEXT ->  attribute javadoc [6:7]
    |   |   |   |       `--EOF -> <EOF> [6:25]
    |   |   |   `--BLOCK_COMMENT_END -> */ [6:24]
    |   |   `--LITERAL_INT -> int [7:4]
    |   |--IDENT -> attribute [7:8]
    |   `--SEMI -> ; [7:17]
    |--METHOD_DEF -> METHOD_DEF [12:4]
    |   |--MODIFIERS -> MODIFIERS [12:4]
    |   |   |--BLOCK_COMMENT_BEGIN -> /* [9:4]
    |   |   |   |--COMMENT_CONTENT -> *\n    * method javadoc\n     [9:6]
    |   |   |   |   `--JAVADOC -> \n    * method javadoc\n    <EOF> [9:7]
    |   |   |   |       |--NEWLINE -> \n [9:7]
    |   |   |   |       |--LEADING_ASTERISK ->     * [10:0]
    |   |   |   |       |--TEXT ->  method javadoc [10:5]
    |   |   |   |       |--NEWLINE -> \n [10:20]
    |   |   |   |       |--TEXT ->      [11:0]
    |   |   |   |       `--EOF -> <EOF> [11:4]
    |   |   |   `--BLOCK_COMMENT_END -> */ [11:4]
    |   |   `--LITERAL_PUBLIC -> public [12:4]
    |   |--TYPE -> TYPE [12:11]
    |   |   `--LITERAL_VOID -> void [12:11]
    |   |--IDENT -> method [12:16]
    |   |--LPAREN -> ( [12:22]
    |   |--PARAMETERS -> PARAMETERS [12:23]
    |   |--RPAREN -> ) [12:23]
    |   `--SLIST -> { [12:25]
    |       `--RCURLY -> } [12:27]
    `--RCURLY -> } [14:0]