docs: public void printEndRecordData(Rec record, PrintWriter out, int iPrintOptions)
      {
          String strRecordName = record.getTableNames(false);
          if ((strRecordName == null) || (strRecordName.length() == 0))
          	strRecordName = "Record";
          out.println(Utility.endTag(strRecordName));
      }