import javafx.embed.swing.JFXPanel;

sbool initJavaFX_done;

svoid initJavaFX() {
  swing {
    if (initJavaFX_done) ret;
    set initJavaFX_done;
    new JFXPanel;  // initializes JavaFX environment
  }
}