A Java library for encoding and decoding JSON structures