void addCatch(String name, int start_off, int end_off, int branch_off) throws jasError {
    ClassCP class_cp = checkCatch(name);

    catch_table.addEntry(start_off, end_off, branch_off, class_cp);
  }
  //
  // used by the .catch directive
  //
  void addCatch(String name, String start_lab, String end_lab, String branch_lab) throws jasError {
    ClassCP class_cp = checkCatch(name);

    catch_table.addEntry(getLabel(start_lab), getLabel(end_lab), getLabel(branch_lab), class_cp);
  }