org.processmining.plugins.properties.processmodel.gui.abstractguiproperty
Classes
AddButton
DeleteButton
GUIPropertyListOfElements
GUIPropertySinglePage
SinglePageElementKeyListener
SinglePageElementMouseListener