Hi,<br><br>My apologies - question was inadvertently posted to the wrong discussion list - this is not related to basex.<br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">

<br>
</blockquote></div><br>