Fix updating of GUI. GUI must not be updated outside main thread. Platform.runLater will
send gui update to main thread which will at "some point" execute it.