final public void Class_tail() throws ParseException {
                   /*@bgen(jjtree) Class_tail */
  SimpleNode jjtn000 = new SimpleNode(JJTCLASS_TAIL);
  boolean jjtc000 = true;
  jjtree.openNodeScope(jjtn000);
  jjtn000.jjtSetFirstToken(getToken(1));
    try {
      jj_consume_token(END);
      jj_consume_token(CLASS);
      jj_consume_token(SEMICOLON);
    } finally {
    if (jjtc000) {
      jjtree.closeNodeScope(jjtn000, true);
      jjtn000.jjtSetLastToken(getToken(0));
    }
    }
  }