/** inits GUI with labels of current language */
 public void initGUI() {
   // setTitle(app.getPlain("ConstructionProtocol"));
   scrollPane.setFont(((AppD) app).getPlainFont());
   // setMenuBar();
   getStyleBar().setLabels();
   // set header values (language may have changed)
   for (int k = 0; k < tableColumns.length; k++) {
     tableColumns[k].setHeaderValue(data.columns[k].getTranslatedTitle());
   }
   table.updateUI();
   table.setFont(((AppD) app).getPlainFont());
   ((ConstructionTableData) data).updateAll();
   getStyleBar().reinit();
   // protNavBar.updateIcons();
 }
 // Michael Borcherds 2008-05-15
 public void update() {
   ((ConstructionTableData) data).updateAll();
 }
 public void setAddIcons(boolean flag) {
   addIcons = flag;
   ((ConstructionTableData) data).updateAll();
 }
 public void setUseColors(boolean flag) {
   useColors = flag;
   ((ConstructionTableData) data).updateAll();
 }