Buggy Eclipse JDT Compiler