Fixed problem in KleeneGUI.java