@Override public void setPatchPrim(int prim) { super.setPatchPrim(prim); re.checkAndLogErrors("setPatchPrim"); }