Package org.processmining.plugins.petrinet.configurable.ui.widgets