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

jvergara
19.38.2009 2a4afbea87de9adf3af4f4d4660f56902c5efa49
opendj-sdk/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];
      }