Use play-json 2.3.5