git.eclipse.org / objectteams / org.eclipse.objectteams / 70aac8ee9a23074e41cd2d2b5be5829bdf4774ae / plugins / org.eclipse.objectteams.runtime / about.html