git.eclipse.org / objectteams / org.eclipse.objectteams / c04f8c8f4092d12399b0a05fbe5e54234a584571 / plugins / org.eclipse.objectteams.otdt.debug.ui / about.html