throws NotImplementedException
    public void handleEndOfLineString(String eol)      throws NotImplementedException    {      // FIXME: Implement.      print ("HTMLReader.handleEndOfLineString not implemented yet");    }