Formatting JSON in Java: Jackson, Gson, and org.json Compared