784785786787788789790791792793794
logger.fine("restart " + msg.restartTreatment() + " pause " + msg.isPaused()); if (msg.restartTreatment()) { treatment.restart(msg.isPaused()); } else { treatment.pause(msg.isPaused()); } return; } if (message instanceof AudioVolumeMessage) {