Set<String> (JsonFile file) { Set<String> propertyNames = new HashSet<>(); file.accept(new JsonRecursiveElementVisitor() { @Override public void visitProperty(@NotNull JsonProperty o) { super.visitProperty(o); propertyNames.add(o.getName()); } }); return propertyNames; }