final public void choices() throws ParseException {
    choice();
    label_35:
    while (true) {
      switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {
      case 159:
        ;
        break;
      default:
        jj_la1[138] = jj_gen;
        break label_35;
      }
      jj_consume_token(159);
      choice();
    }
  }