This isn't used elsewhere in this PR. Is it intended to be mixed in in `scala-ide`? Needs some comments to explain its purpose.