remove name of progress bar when stopping ws refresh progress.
[jalview.git] / src / com / stevesoft /
drwxr-xr-x   ..
drwxr-xr-x - pat