King.Java formatting adjusted