ensure GUI update on JFX thread