final public void BatchCommand() throws ParseException, IOException {
    label_18:
    while (true) {
      if (jj_2_24(1)) {
        Command();
      } else {
        switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {
        case STOP:
          jj_consume_token(STOP);
          {if (true) return;}
          break;
        default:
          jj_la1[69] = jj_gen;
          jj_consume_token(-1);
          throw new ParseException();
        }
      }
      if (jj_2_25(1)) {
        ;
      } else {
        break label_18;
      }
    }
          Token token = getToken(1);
          String string = token.image.trim();
          if (!string.equals("")) {
              String msg= "Unknown token "+string+
                          " at line "+token.beginLine+
                          ", column "+token.endColumn+".";
              {if (true) throw new ParseException(msg);}
          }
  }