Bug fixes in SwingGUI.
SwingGUI: fixed scheduling of log updates.