* @provisional This API might change or be removed in a future release.
*/
public static synchronized TimeZone getTimeZone(String ID, int type) {
TimeZone result;
if (type == TIMEZONE_JDK) {
result = new JavaTimeZone(ID);
} else {
/* We first try to lookup the zone ID in our system list. If this
* fails, we try to parse it as a custom string GMT[+-]hh:mm. If
* all else fails, we return GMT, which is probably not what the
* user wants, but at least is a functioning TimeZone object.