private void pushString(String ename, String s) throws SAXException {
        char[] ch = s.toCharArray();
        pushCharArray(ename, ch, 0, ch.length);
    }
This method pushes a string back onto input.
<p>
It is useful either as the expansion of an internal entity, or for
backtracking during the parse.
<p>
Call pushCharArray () to do the actual work.

@param s
           The string to push back onto input.
@see #pushCharArray
src/nu/validator/gnu/xml/aelfred2/XmlParser.java