217218219220221222223224225226227
/* * scan through old list of held locks and propagate * to parent. */ while ((current = oldlist.pop()) != null) { if (current.getCurrentOwner().equals(from)) { current.propagate(); }