Hi Magnus,

Works like a charm, and I'm able to set it in jtreg test config using 
`-jdb.option="-J-D-..."'.  Thanks!

Jakob

Reply via email to