xtrace jar and modifications to get better randomness in TaskIDs.