git.eclipse.org / objectteams / org.eclipse.objectteams / 77cabff253266d7db5e29c42709a91f0e52ad437 / plugins / org.eclipse.objectteams.otdt.compiler.adaptor / about.html