code: public static java.sql.Time internalToTime(int v, TimeZone tz) {
  		// note that, in this case, can't handle Daylight Saving Time
  		return new java.sql.Time(v - tz.getOffset(v));
  	}
docs: Converts the internal representation of a SQL TIME (int) to the Java
  type used for UDF parameters ({@link java.sql.Time}).
  
  <p>The internal int represents the seconds since "00:00:00". When we convert it to
  {@link java.sql.Time} (time milliseconds since January 1, 1970, 00:00:00 GMT),
  we need a TimeZone.