void (@NotNull Class<?> aClass) { if (ourReportedDeprecatedClasses.add(aClass)) { LOG.warn(aClass.getName() + " uses deprecated way to register itself as a module editor. " + ModuleConfigurationEditorProvider.class.getName() + " extension point should be used instead"); } }