Rename RandomEncounter to RandomEncounter.java