Oh, that's new to / forgotten by me, thanks! Good to know about. (Haven't needed to write multithreaded Java for years.)