hamiltonc
committed
on 23 Jun 05
putting back a fix on differentating timestamps that must have been deleted during the last commit