re-do using JavaFx