nl.tudelft.goal.emohawk.util (goal-emohawk-environment 3.3.2-SNAPSHOT API)