import java.text.*;

static SimpleDateFormat simpleDateFormat_defaultTZ(S format) {
  SimpleDateFormat sdf = new SimpleDateFormat(format);
  sdf.setTimeZone(defaultTimeZone());
  ret sdf;
}