A Java library for JSON serialization and deserialization