Changes in version 1.2 Added the command line option -k, for keeping the state names used in the JFLAP file. The default behavior is to replace the state names with names of the form '$q_{id}$', where id is the unique state number. When using this option state names will not be sanitized and thus may contain invalid TeX.