public void characters ( char ch [ ] , int start , int length ) { if ( m_CurrentString == null ) m_CurrentString = new String ( ch , start , length ) ; else m_CurrentString += new String ( ch , start , length ) ; }
characters callback .