Merge branch 'develop' into bug/JAL-4059_update_swingJS_for_JalviewJS_2_11_2_and_2_11_3

diff --cc build.gradle
Simple merge

diff --cc src/jalview/bin/Commands.java
index e4e0e59,2794b02..e352fd8
--- 1/src/jalview/bin/Commands.java
--- 2/src/jalview/bin/Commands.java
+++ b/src/jalview/bin/Commands.java
@@@ -198,7 -196,7 +198,7 @@@ public class Command
      if (avm.containsArg(Arg.APPEND) || avm.containsArg(Arg.OPEN))
      {
        commandArgsProvided = true;
-       long progress = -1;
 -      final long progress = System.currentTimeMillis();
++      final long progress = IdUtils.newId(IdType.PROGRESS);
  
        boolean first = true;
        boolean progressBarSet = false;

diff --cc src/jalview/gui/Desktop.java
Simple merge