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

jvergara
19.38.2009 abcb169a28a9c3dab2975fb3417327840163bf61
opends/src/guitools/org/opends/guitools/controlpanel/browser/NodeRefresher.java
@@ -500,14 +500,14 @@
        }
        throwAbandonIfNeeded(null);
      }
      catch(InterruptedNamingException x) {
      catch (InterruptedNamingException x) {
        throwAbandonIfNeeded(x);
      }
      catch(NamingException x) {
      catch (NamingException x) {
        lastException = x;
        lastExceptionArg = referral[i];
      }
      catch(DirectoryException de) {
      catch (DirectoryException de) {
        lastException = de;
        lastExceptionArg = referral[i];
      }