Merge branch 'develop' of https://source.jalview.org/git/jalview.git into develop
[jalview.git] / lib / intervalstore-src-v0.4.jar
2019-03-01 gmungocJAL-3140 reduced coupling to intervalstore.jar feature/intervalStoreJ