MiniJSON - A minimal JSON parser/generator in Java.