void (@NotNull Element element, @NotNull String path, @NotNull String pathTag) { String systemIndependentPath = FileUtil.toSystemIndependentName(path); JDOMExternalizerUtil.writeField(element, TAG_PREFIX + pathTag, Boolean.toString(systemIndependentPath.equals(path))); JDOMExternalizerUtil.writeField(element, pathTag, systemIndependentPath); }