nl.tudelft.goal.ut2004.util (goal-ut2004-environment-util 3.6.1-SNAPSHOT API)