A minimal, but complete JSON parser and writer for Java