}
}
break;
case NumInteger:
t = jj_consume_token(NumInteger);
ASTValueInt jjtn006 = new ASTValueInt(this, JJTVALUEINT);
boolean jjtc006 = true;
jjtree.openNodeScope(jjtn006);
try {
jjtree.closeNodeScope(jjtn006, true);
jjtc006 = false;
jjtn006.parseInt(t.image);
} finally {
if (jjtc006) {
jjtree.closeNodeScope(jjtn006, true);
}
}