git.eclipse.org / objectteams / org.eclipse.objectteams / 2de001184a06daa0631e21b8337dacc599f7e575 / plugins / org.eclipse.objectteams.otdt.ui.help / about.html