A JSON Schema validation implementation in pure Java, which aims for correctness and performance, in that order