/** Refreshes the user interface in response to display changes such as Language. */ protected void refreshGUI() { super.refreshGUI(); messageLabel.setText(ControlsRes.getString("OSPControl.Messages")); clearLabel.setText(ControlsRes.getString("OSPControl.Clear")); inputLabel.setText(ControlsRes.getString("OSPControl.Input_Parameters")); table.refresh(); }