Replace Java 10 Set copy with Java 8 compatible creation

thank you for the review!
hyphanet · Jul 28, 2024 · 4c3ffb1 · 4c3ffb1
1 parent 4ebce69
commit 4c3ffb1
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/freenet/pluginmanager/PluginManager.java b/src/freenet/pluginmanager/PluginManager.java
@@ -1614,7 +1614,7 @@ public void addStartingPlugin(PluginProgress pluginProgress) {
 		public Collection<PluginProgress> getStartingPlugins() {
 			Set<PluginProgress> startingPluginsCopy;
 			synchronized (this) {
-				startingPluginsCopy = Set.copyOf(startingPlugins);
+				startingPluginsCopy = new HashSet<>(startingPlugins);
 			}
 			return startingPluginsCopy;
 		}
@@ -1631,7 +1631,7 @@ public void removeStartingPlugin(PluginProgress pluginProgress) {
 		public Collection<PluginInfoWrapper> getLoadedPlugins() {
 			Set<PluginInfoWrapper> loadedPluginsCopy;
 			synchronized (this) {
-				loadedPluginsCopy = Set.copyOf(loadedPlugins);
+				loadedPluginsCopy = new HashSet<>(loadedPlugins);
 			}
 			return loadedPluginsCopy;
 		}