Merge branch 'develop' into features/JAL-653_gffalignments
[jalview.git] / src / jalview / gui / ProgressBar.java
2015-05-29 gmungocJAL-1753 declare field with interface type; check for...
2015-05-29 gmungocJAL-1753 duplicated code refactored to new class Progre...