JSON serialization/deserialization library added