git.eclipse.org / objectteams / org.eclipse.objectteams / 84cfc8b1bc241a8d5fb522e5f6ee287b993ced5a / plugins / org.eclipse.objectteams.otequinox.sunjvm / about.html