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()));
   }
 }