779780781782783784785786787788789
break; case DOUBLE_TKN: jj_consume_token(DOUBLE_TKN); { if (true) return new JDouble(); } break; case USTRING_TKN: jj_consume_token(USTRING_TKN); {