GUI can run on windows
modified Z3 checker panel using Jsplitpane