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);
}