scala-ide/scala-ide — pull request #456 by greenrd (2013-06-30 16:44:54+00:00)
Title: Fix #1001774: don't discard generated code

Also fix another instance of the same bug.