Fix some formatting mistakes in Arena.java