Generated Javadoc
ElevatorButton calls elevator