From: Mateusz Waronwy <mmzwarowny@dundee.ac.uk>
Date: Fri, 27 Nov 2020 16:01:14 +0000 (+0100)
Subject: JAL-3690 List.copyOf() workaround
X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=4cebc1b8abfb0cf42798c8dc601ec5c1cd79c0e4;p=jalview.git

JAL-3690 List.copyOf() workaround
---

diff --git a/src/jalview/workers/AlignCalcManager2.java b/src/jalview/workers/AlignCalcManager2.java
index 0057500..0f9b8e5 100644
--- a/src/jalview/workers/AlignCalcManager2.java
+++ b/src/jalview/workers/AlignCalcManager2.java
@@ -255,7 +255,9 @@ public class AlignCalcManager2 implements AlignCalcManagerI2
   @Override
   public List<AlignCalcWorkerI> getWorkers()
   {
-    return List.copyOf(registered.keySet());
+    List<AlignCalcWorkerI> result = new ArrayList<>(registered.size());
+    result.addAll(registered.keySet());
+    return result;
   }
 
   @Override