String prefCols = PreferenceLoader.loadString(preferenceString + "TableColumns");  if (validColumnIDs(prefCols, allColumns))
String prefCols = PreferenceLoader.loadString(preferenceString + "TableColumns");   if (VersionCheck.isGtk()) { char bogusColumn = (char) (ColumnSelector.MAGIC_NUMBER + columnLabels.length-1);  if ( prefCols.length() > 0 && bogusColumn != prefCols.charAt(prefCols.length()-1)) { prefCols += bogusColumn; }  } else prefCols = stripBogusColumn(prefCols);   if (validColumnIDs(prefCols, allColumns)) {
    protected void loadColumnIDs() {        String prefCols = PreferenceLoader.loadString(preferenceString + "TableColumns");        if (validColumnIDs(prefCols, allColumns))            columnIDs = prefCols;        else {            columnIDs = allColumns;            PreferenceLoader.setValue(preferenceString + "TableColumns", columnIDs);        }    }