public TimeStampToken[] getTimeStampTokens() throws CMSException { return util.getTimeStampTokens(); }