A java based graphical editor for Finite State Machines.