'generated source for method readDoubleMax'

def readDoubleMax(self):

    strval = self.readStr()
    return (Double.MAX_VALUE if ((strval is None) or (0 == len(strval))) else Double.parseDouble(strval))
