The implementation of Spring Web Flow's flow execution machine.