git.eclipse.org / objectteams / org.eclipse.objectteams / 46c37e5d5023a31b6ff9aba6d0f3f785efef8f1c / plugins / org.eclipse.objectteams.eclipse.monitor / about.html