def setMax(self, maximum):
        """Set the maximum value of the Slider. If the current value of
        the Slider is out of new bounds, the value is set to new minimum.

        @param maximum: new maximum value of the Slider
        """
        self._max = maximum

        try:
            if float(str( self.getValue() )) > maximum:
                super(Slider, self).setValue( float(maximum) )
        except __HOLE__:  # ClassCastException
            # FIXME: Handle exception
            # Where does ClassCastException come from? Can't see any casts
            # above
            super(Slider, self).setValue( float(maximum) )

        self.requestRepaint()
dataset/ETHPy150Open rwl/muntjac/muntjac/ui/slider.py/Slider.setMax