Model Checking Java Programs With Gui