fazendo diag de maq de estado do Controle.java