Fork and mirror of http://git.eclipse.org/gitroot/gef/org.eclipse.gef.git