Undo manager for JavaFX