public void parse(Reader reader, HTMLEditorKit.ParserCallback a_callback,
public void parse(Reader reader, HTMLEditorKit.ParserCallback aCallback,
  public void parse(Reader reader, HTMLEditorKit.ParserCallback a_callback,                    boolean ignoreCharSet                   )             throws IOException  {    callBack = a_callback;    gnu.parse(reader);    callBack.handleEndOfLineString(gnu.getEndOfLineSequence());    try      {        callBack.flush();      }    catch (BadLocationException ex)      {        // Convert this into the supported type of exception.        throw new IOException(ex.getMessage());      }  }