Drawing points with float positions doesn’t seem to round correctly in special situations.
It seems that sometimes two points are rendered instead of one.
Same result.
It also seems that the floats are not rounded to integer position.
When I change the value of 19.9999 to 19.999, I will get a single pixel, in the y-position of 19.
@chrisir@glv thanks for your answers.
I tried the other renderers, indeed different outputs.
The JAVA2D must have a bug: Why should there be a difference between the values of .9999 and .999 ?