java. Jackson-based JSON format, fixed #113.