A minimal JSON parser/generator in Java.