Message8010

$ jython -c "print repr(unichr(0xd800))"
Traceback (most recent call last):
  File "<string>", line 1, in <module>
java.lang.StringIndexOutOfBoundsException: String index out of range: 1
        at java.lang.String.charAt(String.java:658)
        at org.python.core.PyString.encode_UnicodeEscape(PyString.java:164)
        at org.python.core.PyUnicode.unicode___repr__(PyUnicode.java:248)
        at org.python.core.PyUnicode.__repr__(PyUnicode.java:243)
        at org.python.core.__builtin__.repr(__builtin__.java:1078)
        at org.python.core.BuiltinFunctions.__call__(__builtin__.java:110)
        at org.python.core.PyObject.__call__(PyObject.java:401)
        at org.python.pycode._pyx0.f$0(<string>:1)
        at org.python.pycode._pyx0.call_function(<string>)
        at org.python.core.PyTableCode.call(PyTableCode.java:165)
        at org.python.core.PyCode.call(PyCode.java:18)
        at org.python.core.Py.runCode(Py.java:1204)
        at org.python.core.Py.exec(Py.java:1248)
        at org.python.util.PythonInterpreter.exec(PythonInterpreter.java:172)
        at org.python.util.jython.run(jython.java:279)
        at org.python.util.jython.main(jython.java:129)

java.lang.StringIndexOutOfBoundsException: java.lang.StringIndexOutOfBoundsException: String index out of range: 1

Here is a patch which fixes unicode-escape encoder used in unicode's repr().