System.err.println("minzoom change: "+level);
            public void minZoomLevelChanged(double level)            {                System.err.println("minzoom change: "+level);                int val = (int)Math.round(level*100);                if(slider.getValue() < val)                {                    slider.setValue(val);                }                slider.setMinimum(val);            }