docs: public String getTitle()    // Standard file maint for this record (returns new record)
      {
          String windowName = "Maintenance"; // Default
          Record query = this.getMainRecord();
          if (query != null)
              windowName = query.getRecordName() + ' ' + windowName;  // xxx Maintenance.
          return windowName;
      }