Merge branch 'Jalview-JS/JAL-3253-applet' of