scala-ide/scala-ide — pull request #210 by dotta (2012-10-12 16:40:17+00:00)
Title: No more NPE in update occurrences after a source is deleted

review by @misto