PDE - Plugin Development Environment project repository (eclipse.pde.ui)