Merge branch 'Jalview-JS/develop_with_gradle_build' of https://source.jalview.org...