sS formatDateForLastModifiedHeader(long time default now()) {
  var sdf = simpleDateFormat("EEE, dd MMM yyyy HH:mm:ss 'GMT'", TimeZone.getTimeZone("GMT"));
  ret sdf.format(time);
}