mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
opends/src/server/org/opends/server/api/SynchronizationProvider.java
@@ -130,7 +130,7 @@ /** * Performs any necessary finalization for this synchronization * provider. This will be called just after the provider has been * deregistered with the server but before it has been unloaded. * unregistered with the server but before it has been unloaded. */ public void finalizeSynchronizationProvider() {
