git.eclipse.org / objectteams / org.eclipse.objectteams / 0ec0a86854c0cc5eef907e7f1b09375af6eb84de / plugins / org.eclipse.objectteams.otdt.pde.ui / about.html