To remove a problem from this report, visit its web page and set its resolution to something else than 'unresolved'.
Your friendly error-reports-bot
You are receiving this email because
you are subscribed to digest of Eclipse Platform. To alter
your subscriptions, contact your administrator.
Do you develop Eclipse plug-ins yourself? Get your personal error reporting server