Glyph display bug - edges get cut off

I wanted to report an issue I have only been able to reproduce in Linux. When I look at a text in JSesh I notice the far right of some glyphs is getting cut off.

Here are two screen grabs, one from JSesh and one from the HTML export:
http://www.saintsimian.com/misc/JSesh2.13.7.png
http://www.saintsimian.com/misc/Iceweasel.png

Steps to reproduce:
1. Launch JSesh with the following command: java -jar "/usr/local/JSesh/libs/jsesh.jar" (I have also tried: java -Xmx256m -jar "/usr/local/JSesh/libs/jsesh.jar")
2. Scroll down the demo file to the section "Ecdotic Codes".
3. Examine the right-hand side of the glyphs N5 and X1.
4. Launch the Hieroglyphic Palette.
5. Examine the same glyphs (and others).

Expected Behaviour:
The signs display entirely.

Actual Behaviour:
The right part of the glyphs appears to be cut off. This is visible in glyphs N5 and X1, but is occurring in many others too.

Additional Information:
This bug is not carried over when I copy and paste into OpenOffice 3.1.0, but it *is* still visible when I export as HTML. I tested this on two systems, Windows and Linux. I could not reproduce the bug on Windows but it is happening regularly on Linux. On Linux I tested with older releases of JSesh going back to 2.5beta_1 with the same results, so it may be Sun Java or something else running on my machine.

Windows system (works okay):
Windows XP
JSesh 2.13.7
Sun JRE 6 update 17

Linux system (bug always occurs):
Debian Lenny
JSesh 2.13.7
Sun JRE 6 update 12

Probably a bug in openjava

It's a rounding bug when computing picture sizes. The coordinates are normally decimal numbers, so there might be errors of one pixel or so.

I tried it on my ubuntu, and had however a correct result. Are you sure you are using Sun's java implementation (and not openjava, for instance)? There are some graphical issues in some of those (the graphical engine used by java2D is different).

Try typing

java -version

to see if you are using sun's jre (you might have more than one installed jre).

If not, I would suggest using it instead of ubuntu's default. This can be done with

sudo update-alternatives --config java

Serge Rosmorduc