org.processmining.plugins.properties.processmodel.gui
Interfaces
GUIProperty