Redo PrettyTimestamp.java