Remove obsolete play-json format