code cleanup in Player.java.