/** Update labels in the GUI. */ public void setLabels() { if (optionsDialog != null) optionsDialog.setLabels(); if (functionInspector != null) functionInspector.setLabels(); if (textInputDialog != null) ((TextInputDialog) textInputDialog).setLabels(); if (fileChooser != null) updateJavaUILanguage(); if (dataSourceDialog != null) dataSourceDialog.setLabels(); }