public void setActualDepth(int actualDepth) {
   if (!safeEquals(myActualDepth, actualDepth)) {
     myActualDepth = actualDepth;
     myListener.actualDepthChanged();
     myThresholdHelper.depthOnThresholdMayBeChanged();
   }
 }
 public void setActualDirection(int actualDirection) {
   if (!safeEquals(myActualDirection, actualDirection)) {
     myActualDirection = actualDirection;
     myListener.actualDirectionChanged();
     myThresholdHelper.directionOnThresholdMayBeChanged();
   }
 }
 public void setIgnoreDemandedSpeed(boolean ignore) {
   if (myIgnoreDemandedSpeed != ignore) {
     myIgnoreDemandedSpeed = ignore;
     myListener.demandedSpeedChanged();
     myThresholdHelper.speedOnThresholdMayBeChanged();
   }
 }
 public void setIgnoreDemandedDepth(boolean ignore) {
   if (myIgnoreDemandedDepth != ignore) {
     myIgnoreDemandedDepth = ignore;
     myListener.demandedDepthChanged();
     myThresholdHelper.depthOnThresholdMayBeChanged();
   }
 }
 public void setIgnoreDemandedDirection(boolean ignore) {
   if (myIgnoreDemandedDirection != ignore) {
     myIgnoreDemandedDirection = ignore;
     myListener.demandedDirectionChanged();
     myThresholdHelper.directionOnThresholdMayBeChanged();
   }
 }
 public void setSpeedThreshold(int speedThreshold) {
   if (!safeEquals(mySpeedThreshold, speedThreshold)) {
     mySpeedThreshold = speedThreshold;
     // listener is intentionally not called
     myThresholdHelper.speedOnThresholdMayBeChanged();
   }
 }
 public void setDepthThreshold(int depthThreshold) {
   if (!safeEquals(myDepthThreshold, depthThreshold)) {
     myDepthThreshold = depthThreshold;
     // no such method in listener -- see also below
     myThresholdHelper.depthOnThresholdMayBeChanged();
   }
 }
 public void setDemandedSpeed(int demandedSpeed) {
   if (!safeEquals(myDemandedSpeed, demandedSpeed)) {
     myDemandedSpeed = demandedSpeed;
     myListener.demandedSpeedChanged();
     myThresholdHelper.speedOnThresholdMayBeChanged();
   }
 }
 public void setDemandedDirection(int demandedDirection) {
   if (!safeEquals(myDemandedDirection, demandedDirection)) {
     myDemandedDirection = demandedDirection;
     myListener.demandedDirectionChanged();
     myThresholdHelper.directionOnThresholdMayBeChanged();
   }
 }
 public void setDemandedDepth(int demandedDepth) {
   if (!safeEquals(myDemandedDepth, demandedDepth)) {
     myDemandedDepth = demandedDepth;
     myListener.demandedDepthChanged();
     myThresholdHelper.depthOnThresholdMayBeChanged();
   }
 }
 public void setActualSpeed(int actualSpeed) {
   if (!safeEquals(myActualSpeed, actualSpeed)) {
     myActualSpeed = actualSpeed;
     myListener.actualSpeedChanged();
     myThresholdHelper.speedOnThresholdMayBeChanged();
   }
 }
 public void setDirectionThreshold(int directionThreshold) {
   if (!safeEquals(myDirectionThreshold, directionThreshold)) {
     myDirectionThreshold = directionThreshold;
     // do not call listener directly
     // myListener.directionThresholdChanged();
     myThresholdHelper.directionOnThresholdMayBeChanged();
   }
 }
 public void setThresholdListener(ThresholdListener listener) {
   myThresholdHelper.setListener(listener);
 }