Fix some formatting in Player.java.
Apparently ctrl-shift-F didn't do the job the first time.