final public Sort[] CobSortsDecl(Module module) throws ParseException {
    Sort[] sorts;
    Vector vec = new Vector();
    Sort sort;
    switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {
    case SORT:
      jj_consume_token(SORT);
      break;
    case SORTS:
      jj_consume_token(SORTS);
      break;
    default:
      jj_la1[181] = jj_gen;
      jj_consume_token(-1);
      throw new ParseException();
    }
    label_65:
    while (true) {
      sort = SortReference(module);
               vec.addElement(sort);
      switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {
      case INTEGER_LITERAL:
      case IDENTIFIER:
        ;
        break;
      default:
        jj_la1[182] = jj_gen;
        break label_65;
      }
    }
    jj_consume_token(DOT);
            sorts = new Sort[vec.size()];
            vec.copyInto(sorts);
            {if (true) return sorts;}
    throw new Error("Missing return statement in function");
  }