git.eclipse.org / objectteams / org.eclipse.objectteams / 9bc81d4fcf8a2bec98219c8ac5237cc09afc4310 / plugins / org.eclipse.objectteams.otdt / src / org / eclipse / objectteams / otdt / internal / core / ext