git.eclipse.org / objectteams / org.eclipse.objectteams / cd46c799e82f7bee5979dc33b7a3d05f4e0e32f3 / plugins / org.eclipse.objectteams.otdt.apt / about.html