ModeAutomatonTransformation.java 1a1033b4a834c556fecfe5263c961d928408c2f1 GREEN
