Fix naming scheme for Json.emptyObject and its companions.