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

Jean-Noel Rouvignac
08.48.2015 a89f7014aeb71dba5c94404dfea7eb89e7eeee74
opendj-server-legacy/src/main/java/org/opends/server/loggers/TextErrorLogPublisher.java
@@ -185,7 +185,7 @@
        category = category.replace("-", "_").toUpperCase();
        try
        {
          Set<Severity> severities = new HashSet<Severity>();
          Set<Severity> severities = new HashSet<>();
          StringTokenizer sevTokenizer = new StringTokenizer(overrideSeverity.substring(equalPos + 1), ",");
          while (sevTokenizer.hasMoreElements())
          {
@@ -314,7 +314,7 @@
          category = category.replace("-", "_").toUpperCase();
          try
          {
            Set<Severity> severities = new HashSet<Severity>();
            Set<Severity> severities = new HashSet<>();
            StringTokenizer sevTokenizer =
              new StringTokenizer(overrideSeverity.substring(equalPos+1), ",");
            while (sevTokenizer.hasMoreElements())