Settings for the Eclipse JDT compiler