git.eclipse.org / objectteams / org.eclipse.objectteams / 4f2ef57937d9208a0c298391dd7641c04b059678 / plugins / org.eclipse.objectteams.otdt.jdt.ui / about.html