Paul,
I have verified both in the test case and my application that the patched renderer seems to work correctly. In my application (A map viewer) I zoomed in and out and panned around at many zoom levels and it works in all cases for my app.
Good.
I must write new 2 test cases proving the fix is KO/OK.
I'm curious would this make it into the Java 11 release? I'm still on Java 8 and am hoping to upgrade this fall.
It is too late for jdk11, only P1 bugs.
I will propose patches for jdk12 (upstream) then ask for backport to jdk11u and I will also propose patches for jfx11/12...
This process is quite long but this fix will be released in the future, but I do not know the date ~ sept + 2/3 months.
Cheers,
Laurent