Active Object pattern: Thread safe and unsafe impl. of a counter