Adapt to new ScalaPlugin / ScalaPresentationCompiler API in scala-ide