Buggy Eclipse JDT Compiler
Update for new API