User interface of JSequitur program.