docs: public void setTimestampProperty(String pstrSection, String pstrProp, 
                      					Timestamp ptsVal, String pstrComments)
      {
          INISection objSec   = null;
  
          objSec = (INISection) this.mhmapSections.get(pstrSection);
          if (objSec == null)
          {
              objSec = new INISection(pstrSection);
              this.mhmapSections.put(pstrSection, objSec);
          }
          objSec.setProperty(pstrProp, timeToStr(ptsVal, this.mstrTimeStampFmt), 
                          	pstrComments);
      }