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

Matthew Swift
04.15.2013 aa2e7c321ca330792a6c2a7c41efd923bb1270af
opends/src/server/org/opends/server/workflowelement/WorkflowElement.java
@@ -23,6 +23,7 @@
 *
 *
 *      Copyright 2008-2010 Sun Microsystems, Inc.
 *      Portions copyright 2013 ForgeRock AS.
 */
package org.opends.server.workflowelement;
@@ -341,9 +342,8 @@
  public void finalizeWorkflowElement()
  {
    // Deregister the monitor provider.
    if (this.statistics != null) {
      DirectoryServer.deregisterMonitorProvider(
          this.statistics.getMonitorInstanceName());
    if (statistics != null) {
      DirectoryServer.deregisterMonitorProvider(statistics);
    }
  }
@@ -461,12 +461,12 @@
   *        below this object.
   * @return boolean
   */
  public boolean hasChildWorkflowElement(WorkflowElement element) {
  public boolean hasChildWorkflowElement(WorkflowElement<?> element) {
    if (this.getChildWorkflowElements().size() == 0) {
      return (this.equals(element));
    }
    for (WorkflowElement subElement:this.getChildWorkflowElements()) {
    for (WorkflowElement<?> subElement : this.getChildWorkflowElements()) {
      if (subElement.equals(element) ||
          subElement.hasChildWorkflowElement(element)) {
        return true;