git.eclipse.org / graphiti / org.eclipse.graphiti / 33d5947273891d73e3140b78562ff48d9a973528 / plugins / org.eclipse.graphiti / about.html