added checks to dynamic_casts, fixes #119
added again check to dynamic_casts, fixes 118
removed empty standard constructor in class ThreadTerminatedException
minor changes to a check in class StandardTime