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