We use both play-json and json4s. They're both pretty cool and easy to use