System.err.println("zoom changed: "+level);
            public void zoomLevelChanged(double level)            {                System.err.println("zoom changed: "+level);                if(!slider.getValueIsAdjusting())                {                    int val = (int)Math.round(level*100);                    slider.setValue(val);                }            }