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

Jean-Noel Rouvignac
20.52.2013 3398f357636254d494b38ccf7553ccad0006da3a
opends/src/guitools/org/opends/guitools/controlpanel/browser/NodeRefresher.java
@@ -23,7 +23,7 @@
 *
 *
 *      Copyright 2008-2010 Sun Microsystems, Inc.
 *      Portions Copyright 2012 ForgeRock AS
 *      Portions Copyright 2012-2013 ForgeRock AS
 */
package org.opends.guitools.controlpanel.browser;
@@ -104,7 +104,7 @@
     * The refresher has failed.
     */
    FAILED
  };
  }
  BrowserController controller;
  State state;