JavaFX version for the gui.