From 4cebc1b8abfb0cf42798c8dc601ec5c1cd79c0e4 Mon Sep 17 00:00:00 2001
From: Mateusz Waronwy <mmzwarowny@dundee.ac.uk>
Date: Fri, 27 Nov 2020 17:01:14 +0100
Subject: [PATCH] JAL-3690 List.copyOf() workaround

---
 src/jalview/workers/AlignCalcManager2.java |    4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

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
-- 
1.7.10.2