scala-ide/scala-ide — pull request #154 by dotta (2012-07-17 08:53:53+00:00)
Title: Fixed exception on project deletion

This pull-request is a replacement for [#148](https://github.com/scala-ide/scala-ide/pull/148).

* Some code clean up
* Optimization to log an exception at most once if the same exception is being (re-)thrown several times
* Fixed #1001058: Exception occurring when deleting/closing a Scala project

Look at the commit messages for the details.