internal « jdt « eclipse « org « search « org.eclipse.jdt.core - org.eclipse.objectteams.git - This repo has moved to: https://gitlab.eclipse.org/eclipse/objectteams/objectteams