#3259 ElevatorEnv is now on Java7.