JAL-3690 List.copyOf() workaround

diff --git a/src/jalview/workers/AlignCalcManager2.java b/src/jalview/workers/AlignCalcManager2.java
index 0057500..0f9b8e5 100644 (file)
--- 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