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

Nicolas Capponi
11.41.2014 0bbb2f7f7f74de8b6a43523c88ae7eb8ff8b5e54
opendj3-server-dev/src/server/org/opends/server/workflowelement/WorkflowElementStatistics.java
@@ -22,6 +22,7 @@
 *
 *
 *      Copyright 2010 Sun Microsystems, Inc.
 *      Portions Copyright 2014 ForgeRock AS
 */
package org.opends.server.workflowelement;
@@ -29,7 +30,7 @@
import java.util.List;
import org.opends.server.admin.std.server.MonitorProviderCfg;
import org.opends.server.api.MonitorProvider;
import org.opends.server.config.ConfigException;
import org.forgerock.opendj.config.server.ConfigException;
import org.opends.server.types.Attribute;
import org.opends.server.types.Attributes;
import org.opends.server.types.InitializationException;