code: private void pushString(String ename, String s) throws SAXException {
          char[] ch = s.toCharArray();
          pushCharArray(ename, ch, 0, ch.length);
      }
docs: 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