0
	 
	private ImageSizePreference() 
	{ 
		super(); 
		JSlider slider = getSlider();
		slider.setOrientation(JSlider.VERTICAL);        
        slider.setMajorTickSpacing(TICK_SPACING);
        slider.setPaintTicks(true);        
        slider.setSnapToTicks(true);
        slider.setMinimum(0);
        slider.setMaximum(510);
         
		configureSlider(); 
	}	 
		 
	 // For lazy initialization 
	 public static synchronized ImageSizePreference getInstance() { 
	  if (_instance==null) {
	   _instance = new ImageSizePreference();
	  }