Eclipse plugin for manipulating automata and regular expressions