Package org.processmining.logfiltering.Juan.parameters