void (@NotNull Document doc) { final Version version = doc.getVersion(); if (version.isUnknown()) { Prefs.remove(getAcceptedVersionKey(doc.getName())); } else { Prefs.put(getAcceptedVersionKey(doc.getName()), version.toString()); } }