scala-ide/scala-ide — pull request #845 by dragos (2014-10-27 12:51:17+00:00)
Title: Revert "Interrupt Scala builder on resource change"

Reverts scala-ide/scala-ide#767 See [#1002319](https://scala-ide-portfolio.assembla.com/spaces/scala-ide/tickets/1002319) for the reasoning behind this.