Tiny (<8kB source) JSON parser and writer for Java