Revert "Interrupt Scala builder on resource change"
Merge pull request #845 from scala-ide/revert-767-t1002229-interrupt-build

Revert "Interrupt Scala builder on resource change"