private static void saveExplodedDirectoryExtension(JpsModule module, Element rootModelElement) { ExplodedDirectoryModuleExtension extension = getService().getExplodedDirectoryExtension(module); if (extension != null) { if (extension.isExcludeExploded()) { rootModelElement.addContent(0, new Element(EXCLUDE_EXPLODED_TAG)); } rootModelElement.addContent( 0, new Element(EXPLODED_TAG).setAttribute(URL_ATTRIBUTE, extension.getExplodedUrl())); } }