Package org.processmining.specpp.datastructures.util