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

jvergara
19.19.2008 47b4c6ff8d8b7d909adc6b8319832f37f058497c
opendj-sdk/opends/src/guitools/org/opends/guitools/controlpanel/util/Utilities.java
@@ -1721,7 +1721,7 @@
      }
      if (!isStandard)
      {
        isStandard = fileName.indexOf("-rfc") != -1;
        isStandard = fileName.toLowerCase().indexOf("-rfc") != -1;
      }
    }
    return isStandard;