From bcd008cbbe045b4da2a8fcee4af5c3f96247d152 Mon Sep 17 00:00:00 2001 From: Fuzzlemann Date: Fri, 18 Aug 2017 17:15:23 +0200 Subject: [PATCH] Sorting ignores now the case --- .../java/com/djrapitops/plan/utilities/file/dump/DumpUtils.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Plan/src/main/java/com/djrapitops/plan/utilities/file/dump/DumpUtils.java b/Plan/src/main/java/com/djrapitops/plan/utilities/file/dump/DumpUtils.java index 23e1fd85f..1f43bd583 100644 --- a/Plan/src/main/java/com/djrapitops/plan/utilities/file/dump/DumpUtils.java +++ b/Plan/src/main/java/com/djrapitops/plan/utilities/file/dump/DumpUtils.java @@ -145,7 +145,7 @@ public class DumpUtils { List plugins = Arrays.stream(server.getPluginManager().getPlugins()) .map(Plugin::getDescription) .map(description -> description.getName() + " " + description.getVersion()) - .sorted() + .sorted(String::compareToIgnoreCase) .collect(Collectors.toList()); log.addHeader("Server Details");