@Deprecated
  protected void saveExtension(E extension, Element facetConfigurationTag, JpsModule module) {
  }
@Deprecated
  protected void saveExtension(E extension, Element facetConfigurationTag, JpsModule module)