JAL-3253 miscellaneous tidying up before merge to JS-develop
[jalview.git] / unused / nonc /
2019-08-06 hansonrJAL-3383 JAL-3397 JAL-3253-applet IntervalStore options