make sure web service menu is always refreshed on 'OK'
[jalview.git] / .project
2010-04-29 jproctershare eclipse settings