mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git

Jean-Noel Rouvignac
13.08.2015 ea1068c292e9b341af6d6b563cd8988a96be20a9
opendj-server-legacy/src/main/java/org/opends/server/plugins/profiler/ProfilerPlugin.java
@@ -121,7 +121,7 @@
  /**
   * {@inheritDoc}
   */
  @Override()
  @Override
  public final void initializePlugin(Set<PluginType> pluginTypes,
                                     ProfilerPluginCfg configuration)
         throws ConfigException
@@ -164,7 +164,7 @@
  /**
   * {@inheritDoc}
   */
  @Override()
  @Override
  public final void finalizePlugin()
  {
    currentConfig.removeProfilerChangeListener(this);
@@ -199,7 +199,7 @@
  /**
   * {@inheritDoc}
   */
  @Override()
  @Override
  public final PluginResult.Startup doStartup()
  {
    ProfilerPluginCfg config = currentConfig;
@@ -219,7 +219,7 @@
  /**
   * {@inheritDoc}
   */
  @Override()
  @Override
  public boolean isConfigurationAcceptable(PluginCfg configuration,
                                           List<LocalizableMessage> unacceptableReasons)
  {