com.github.java-json-tools json-schema-core 1.2.8