https://help.eclipse.org/latest/topic/org.eclipse.graphiti.doc/javadoc/org/eclipse/graphiti/ui/editor/DefaultPersistencyBehavior.SaveOperation.html
DefaultPersistencyBehavior.SaveOperation
declaration: package: org.eclipse.graphiti.ui.editor, class: DefaultPersistencyBehavior, class: SaveOperation