Update AlohaWorld.java