[I am sending this again in plain text]
thanks very much for the bug report. I will work on fixing this in the
next few weeks. Please use a pdf printer in the mean time.
Incidentally, the pdf export might be disabled in 1.6.x because it
creates problems with the new SVG icons capability!
Cheers and Best Regards,
This is the maintainer address of Debian's Java team
debian-j...@lists.debian.org for discussions and questions.