fix random fsm generation in webapps