small JSON stuff for Game.java