jj_la1[19] = jj_gen;
jj_la1[22] = jj_gen;
  final public void portList() throws ParseException {    jj_consume_token(PORT);    jj_consume_token(LPAREN);    portElement();    label_7:    while (true) {      switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {      case EOS:        ;        break;      default:        jj_la1[19] = jj_gen;        break label_7;      }      jj_consume_token(EOS);      portElement();    }    jj_consume_token(RPAREN);    jj_consume_token(EOS);  }