Some code for a JavaFX workshop