scala-ide/scala-ide — pull request #728 by sschaef (2014-07-01 00:08:32+00:00)
Title: Finish cleanup of removed extraction refactorings

This cleanup should already have happened in 1eb07fe0dfcd, but some
entries were forgotten. This led to exceptions on startup of the IDE.