Modified RichTimestamp.toString to use the Hive format.