git.eclipse.org / objectteams / org.eclipse.objectteams / 5084090865566ccb879948f8ff60a349e91ca1b4 / plugins / org.eclipse.objectteams.otdt.pde.ui / about.html