*/
        InternalPluginIdentifier getPlugin();

        /**
         * Returns the total configuration time of this plugin.
         */
        Duration getTotalConfigurationTime();

    }

        this.totalConfigurationTime = totalConfigurationTime;
    }

    @Override
    public InternalPluginIdentifier getPlugin() {
        return plugin;
    }

    @Override
    public Duration getTotalConfigurationTime() {
        return totalConfigurationTime;
    }

         * Returns the identifier of this plugin.
         */
        PluginIdentifier getPlugin();

        /**
         * Returns the total configuration time of this plugin.
         */
        Duration getTotalConfigurationTime();

    }

        this.totalConfigurationTime = totalConfigurationTime;
    }

    @Override
    public PluginIdentifier getPlugin() {
        return plugin;
    }

    @Override
    public Duration getTotalConfigurationTime() {
        return totalConfigurationTime;
    }