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

gbellato
25.09.2007 82fac34ae279ec769891444f0f6ea10b47382f8d
opends/src/server/org/opends/server/replication/plugin/SynchronizationMonitor.java
File was renamed from opends/src/server/org/opends/server/synchronization/plugin/SynchronizationMonitor.java
@@ -24,7 +24,7 @@
 *
 *      Portions Copyright 2006-2007 Sun Microsystems, Inc.
 */
package org.opends.server.synchronization.plugin;
package org.opends.server.replication.plugin;
import java.util.ArrayList;
import java.util.LinkedHashSet;