com.github.java-json-tools json-schema-core 1.2.14 1.2.14 1.2.8 1.2.9 1.2.10 1.2.11 1.2.12 1.2.13 1.2.14 20200527161151