picard-tools has been modified (1.90-3) to read env variable JAVA_OPTIONS to set Java options (-Xmx etc...) -- gpg key id: 4096R/326D8438 (keyring.debian.org) Key fingerprint = 5FB4 6F83 D3B9 5204 6335 D26D 78DC 68DB 326D 8438