[7u-dev] Request for approval 8058120: Rendering / caret errors with HTMLDocument

[dmitry markov]

Hello,

Could you approve the straight back-port of the fix for 8058120 to 
jdk7u-dev (jdk7u80), please?

The bug:
https://bugs.openjdk.java.net/browse/JDK-8058120
The webrev:
http://cr.openjdk.java.net/~dmarkov/8058120/jdk7u/webrev.00/
The review thread:
http://mail.openjdk.java.net/pipermail/swing-dev/2014-October/003961.html
The jdk9 changeset:
http://hg.openjdk.java.net/jdk9/client/jdk/rev/8d45ad1c2672
The jdk8u changeset:
http://hg.openjdk.java.net/jdk8u/jdk8u-dev/jdk/rev/94deae1384e9

Thanks,
Dmitry