HiI would like basex to use Java proxy host & port & credentials when basexis making url request to pull binary data from a remote web site.How can I set these proxy settings?Erol Akarsu