jampack: ext5.java:7: Error State machine refinement cannot have a NoTransition Clause
jampack: Summary 1 error
