date.set(Calendar.HOUR_OF_DAY, 12);
date.set(Calendar.MINUTE, 01);
date.set(Calendar.SECOND, 30);
date.set(Calendar.MILLISECOND, 150);
date.setTimeZone(tz);
Time time = new Time(date);
String offset = calcGMTOffset(date);
//diagnostics string
String comment=" [time="+time.toString()+"; tz="+tz.getDisplayName()
+"; offset="+offset+"]";
deserialize("<result xsi:type=\"xsd:time\">" +
"12:01:30.150" + offset +
"</result>",