git.eclipse.org / graphiti / org.eclipse.graphiti / 96f195a8a90c4349ccdfd89961e8f19ca9510457 / plugins / org.eclipse.graphiti.ui / src / org / eclipse / graphiti / ui / internal / requests