small change to state-machine syntax, and parameterize statemaching.data.ToJava over data representation
small changes to state machine syntax