Fix javadoc for Arena.endPlayer()