Have just run an apt-get upgrade and there are now some updates to various eclipse-related packages. This seems to have resolved the issue.
Have just run an apt-get upgrade and there are now some updates to various eclipse-related packages. This seems to have resolved the issue.