Merge branch 'develop' into improvement/JAL-3830_install4j9_macos_setup_application

diff --cc build.gradle
Simple merge

diff --cc gradle.properties
index 95b1299,21360df..b1244b0
--- 1/gradle.properties
--- 2/gradle.properties
+++ b/gradle.properties
@@@ -112,8 -112,9 +112,9 @@@ j11modules = com.sun.istack.runtime,com
  flexmark_css = utils/doc/github.css
  
  channel_properties_dir = utils/channels
+ channel_props = channel.props
  
 -install4j_home_dir = ~/buildtools/install4j8
 +install4j_home_dir = ~/buildtools/install4j9
  install4j_copyright_message = ...
  install4j_bundle_id = org.jalview.jalview-desktop
  install4j_utils_dir = utils/install4j