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