GUI updates now done on the EDT