Nope, I replied [here](https://github.com/scala-ide/scala-ide/pull/356#issuecomment-15213780) saying I didn't think it was worth it and [Simon agreed](https://github.com/scala-ide/scala-ide/pull/356#issuecomment-15228223).