equal
deleted
inserted
replaced
54 Logging() { |
54 Logging() { |
55 } |
55 } |
56 |
56 |
57 public List<String> getLoggerNames() { |
57 public List<String> getLoggerNames() { |
58 Enumeration loggers = logManager.getLoggerNames(); |
58 Enumeration loggers = logManager.getLoggerNames(); |
59 ArrayList<String> array = new ArrayList<String>(); |
59 ArrayList<String> array = new ArrayList<>(); |
60 |
60 |
61 for (; loggers.hasMoreElements();) { |
61 for (; loggers.hasMoreElements();) { |
62 array.add((String) loggers.nextElement()); |
62 array.add((String) loggers.nextElement()); |
63 } |
63 } |
64 return array; |
64 return array; |