java UUID generation by XSLT extension included in XSLT DPU