Replace getMax Java extension with XPath max function #1620