import java.text.*;

static SimpleDateFormat simpleDateFormat_timeZone(S format, S timeZone) {
  SimpleDateFormat sdf = new SimpleDateFormat(format);
  sdf.setTimeZone(timeZone(timeZone));
  ret sdf;
}