jdt « eclipse « org « chkpii « org.eclipse.jdt.ui.tests « testplugins - org.eclipse.objectteams.git - This repo has moved to: https://gitlab.eclipse.org/eclipse/objectteams/objectteams