[Here](https://github.com/scala-ide/scala-ide/pull/525) it is.