@NotNull
  @Override
  protected ModuleBasedConfigurationOptions getOptions() {
    return (ModuleBasedConfigurationOptions)super.getOptions();
  }
@NotNull
  @Override
  protected ModuleBasedConfigurationOptions getOptions()