git.eclipse.org / objectteams / org.eclipse.objectteams / a5bfa5c2e9c321f627c3f591203919a4f9bbf4da / plugins / org.eclipse.objectteams.runtime / about.html