Use Jackson for JSON parsing - just for the fun of it.

Probably should do something better if we want to be able to swap between different JSON backends. But not worth it now.