StateAutomatonTransformation.java a37c5df1e4b01fb75df1f52d28e494170deae78e GREEN
