git.eclipse.org / objectteams / org.eclipse.objectteams / aeeb618d1a1d3900b1ee498134044084c010ad6c / plugins / org.eclipse.objectteams.otequinox.turbo / src / org / eclipse / objectteams / otequinox / turbo