SimpleDateFormat tmpfmt = cachedLocaleData.get(locale);
if (tmpfmt == null) {
format = new SimpleDateFormat(null, locale);
cachedLocaleData.put(locale, format);
} else {
format = (SimpleDateFormat)tmpfmt.clone();
}
String[] patterns = { "z", "zzzz", "v", "vvvv", "Z", "ZZZZ", "V", "VVVV" };
format.applyPattern(patterns[style]);
format.setTimeZone(this);