[saxon] Call out to java function.


Thread view