Hervé Girod - 2021-07-16

Fix some cases where the HTMLEscaper.escapeToXML method would skip the last character of the input String