@Override public void setPatchDiv(int s, int t) { super.setPatchDiv(s, t); re.checkAndLogErrors("setPatchDiv"); }