docs: public String getTimestampString()
      {
          if ( timestamp == null )
          {
              return null;
          }
          else
          {
              SimpleDateFormat fmt = new SimpleDateFormat( "yyyyMMdd.HHmmss" );
              fmt.setTimeZone( TimeZone.getTimeZone( "GMT" ) );
              return fmt.format( new Date( timestamp.longValue() ) );
          }
      }