git.eclipse.org / objectteams / org.eclipse.objectteams / 0e16cd40c44d98255ed6f28b815b5bcc227f2381 / plugins / org.eclipse.objectteams.otredyn / about.html