416417418419420421422
} minHeight = height; atmClient.addStatusMessage("New Minimum Height: " + minHeight); setChanged(); notifyObservers(new HeightEvent()); }
429430431432433434435
} maxHeight = height; atmClient.addStatusMessage("New Maximum Height: " + maxHeight); setChanged(); notifyObservers(new HeightEvent()); }