Polygraphic JDT