JDT/Core project repository (eclipse.jdt.core)