public void privately_resetPlanElement() {
public synchronized void privately_resetPlanElement() { checkTransaction("privately_resetPlanElement");
  public void privately_resetPlanElement() {    //System.err.println("\n!!!!!!!!!!!!task.privately_resetPlanElement() called\n");    myPE = null;  }