Fixed source compatibility with Scala IDE master

Source compatibility with master was broken by this recent commit
scalaide/scalaide@cf73ce8. Furthermore, this patch depends on
https://github.com/scala-ide/scala-ide/pull/571