JDT/UI project repository (eclipse.jdt.ui)