[armedbear-devel] See java.util.concurrent (was Re: destroy-thread and unwind-protect)