repository for eclipse development workshops