A tiny, compliant JSON parser and writer for Java