JDT - Java development tools project repository (eclipse.jdt)