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