opt.setDefault(); update();
Color c, old; old = opt.getColorValueForKey("BACKGROUND_COLOR", Color.WHITE); c = getColor(old); if (c!=null) { opt.setColorValueForKey("BACKGROUND_COLOR", c); update(); }
            public void actionPerformed(ActionEvent e) {                opt.setDefault();                update();            }