git.eclipse.org / objectteams / org.eclipse.objectteams / 03b7368f0fdfc0a3d76f2eab09bdaf89a65308d3 / plugins / org.eclipse.objectteams.otdt.pde.ui / about.html