Work around Java 8's javadoc bug
StringRenderer: fix bug with .substring() vs code points...

RFC 6570 section 2.1 defines a character as a Unicode character; which means
code points outside the BMP are possible.

In which case the prefix modifier must return the matching number of code
points, not the number of Java chars. .substring() is therefore not suitable,
neither is .length().