eclipse « org « src « org.eclipse.objectteams.otdt.ui « plugins - org.eclipse.objectteams.git - This repo has moved to: https://gitlab.eclipse.org/eclipse/objectteams/objectteams