import java.text.*;

static SimpleDateFormat simpleDateFormat_GMT(S format) {
  SimpleDateFormat sdf = new SimpleDateFormat(format);
  sdf.setTimeZone(TimeZone.getTimeZone("GMT"));
  ret sdf;
}