old = opt.getCharCol();
old = opt.getColorValueForKey("LINE_COLOR", Color.BLACK);
            public void actionPerformed(ActionEvent e) {                Color c, old;                old = opt.getCharCol();                c = getColor(old);                if (c!=null) {                    opt.setCharCol(c);                    update();                }            }