Adding JDT settings