scala-ide/scala-ide — pull request #148 by dotta (2012-07-11 10:02:25+00:00)
Title: Fixed exception on project deletion

* Some code clean up
* Fixed #1001058: Exception occurring when deleting a Scala project

Look at the commit messages for the details.