A greatly enhanced version of the Java Timer facility, providing trigger/task functionality in a simple API. Also provides timer source for run-time or simulated-time functionality.