introduced the "finished" parameter for Thread.send and ThreadGroup.send