git.eclipse.org / objectteams / org.eclipse.objectteams / 329259b570b69c1c8a47e764a4f45371d93e413f / plugins / org.eclipse.objectteams.eclipse.monitor / about.html