839         if (dictionary != null) {

   839 

   840             Enumeration keys = dictionary.keys();

   840         if (dictionary == null) {

   841             int max = slider.getMinimum() - 1;

   841             return null;

   842             while (keys.hasMoreElements()) {

   842         }

   843                 max = Math.max(max, ((Integer)keys.nextElement()).intValue());

   843 

   844             }

   844         Enumeration keys = dictionary.keys();

   845             if (max == slider.getMinimum() - 1) {

   845 

   846                 return null;

   846         Integer max = null;

   847             }

   847 

   848             return max;

   848         while (keys.hasMoreElements()) {

   849         }

   849             Integer i = (Integer) keys.nextElement();

   850         return null;

   850 

   851             if (max == null || i > max) {

   852                 max = i;

   853             }

   854         }

   855 

   856         return max;

   862         if (dictionary != null) {

   868 

   863             Enumeration keys = dictionary.keys();

   869         if (dictionary == null) {

   864             int min = slider.getMaximum() + 1;

   870             return null;

   865             while (keys.hasMoreElements()) {

   871         }

   866                 min = Math.min(min, ((Integer)keys.nextElement()).intValue());

   872 

   867             }

   873         Enumeration keys = dictionary.keys();

   868             if (min == slider.getMaximum() + 1) {

   874 

   869                 return null;

   875         Integer min = null;

   870             }

   876 

   871             return min;

   877         while (keys.hasMoreElements()) {

   872         }

   878             Integer i = (Integer) keys.nextElement();

   873         return null;

   879 

   880             if (min == null || i < min) {

   881                 min = i;

   882             }

   883         }

   884 

   885         return min;