It's used [there](https://github.com/scala-ide/scala-ide/pull/598/files#diff-8170893e9db9647eedc7d01d13cc7467R38).