git.eclipse.org / objectteams / org.eclipse.objectteams / f2bd4f2765566678f9339bc7945b16bbe4dff3a3 / features / org.eclipse.objectteams.otdt.core.patch / epl-v20.html