Fixes json encoding of java.sql.Time