nl.tudelft.goal.EIS2Java.handlers (goal-emohawk-environment 3.3.1-SNAPSHOT API)