final public void enumeration_literal() throws ParseException {
    switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {
    case character_literal:
      jj_consume_token(character_literal);
      break;
    case basic_identifier:
    case extended_identifier:
      identifier();
      break;
    default:
      jj_la1[135] = jj_gen;
      jj_consume_token(-1);
      throw new ParseException();
    }
  }