JDT preference updated