scala-ide/scala-ide — pull request #31 by dragos (2011-11-04 15:26:11+00:00)
Title: Issue/spurious errors clean build 1000699

Should also merge it to 2.0.x (just merged to master). This is just a reminder (let's take a few days to see how it works on master first).