Resolve compiler errors due to changes in scala-ide master

This PR is required to keep source compatibility with scala-ide/scala-ide#432.