Merge branch 'features/hmmer' of https://source.jalview.org/git/jalview.git into...
authortzvanaalten <tzvanaalten@172.17.105.62>
Thu, 10 Aug 2017 10:15:57 +0000 (11:15 +0100)
committertzvanaalten <tzvanaalten@172.17.105.62>
Thu, 10 Aug 2017 10:15:57 +0000 (11:15 +0100)

Trivial merge