m_InputFormat = m_InputFormat.stringFreeStructure();
if (m_InputStringAtts.length > 0) { m_InputFormat = m_InputFormat.stringFreeStructure(); } else {  m_InputFormat.delete(); }
  protected void flushInput() {    m_InputFormat = m_InputFormat.stringFreeStructure();  }