An annotation processor converting JSON schemas to java records