tweak AST, RecordDecl.java