leftColumnIDs = "";  for (int i = 0; i < allColumnIDs.length(); i++) { if (rightColumnIDs.indexOf(allColumnIDs.charAt(i)) == -1) {
if ( rightColumnIDs.charAt(rightColumnIDs.length()-1) == (char) (ColumnSelector.MAGIC_NUMBER + totalColumns) ) rightColumnIDs = rightColumnIDs.substring(0, rightColumnIDs.length() - 1);     for (int i = 0; i < totalColumns; i++) { System.out.println("checking: " + allColumnIDs.charAt(i)); if (rightColumnIDs.indexOf(allColumnIDs.charAt(i)) == -1) {
    public ColumnSelector(Shell parentShell, String[] columnLegend, String allColumnIDs,        String prefOption) {        super(parentShell);        this.columnLegend = columnLegend;        this.allColumnIDs = allColumnIDs;        this.prefOption = prefOption + "TableColumns";        String aString = PreferenceLoader.loadString(this.prefOption);        rightColumnIDs = ((!aString.equals("")) ? aString : allColumnIDs);        leftColumnIDs = "";        for (int i = 0; i < allColumnIDs.length(); i++) {            if (rightColumnIDs.indexOf(allColumnIDs.charAt(i)) == -1) {                leftColumnIDs += allColumnIDs.charAt(i);            }        }    }