first attempt at fixing JSON in GWT backend...