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