JDT integration