Merge branch 'releases/Release_2_11_4_Branch'
[jalview.git] / jalview / jbgui / GCutAndPasteHtmlTransfer.java