So, we should update https://github.com/scala-ide/scala-ide/pull/595/files. Thanks for clarifying.