186187188189190191192193194195196
vec.postWrite(new Futures()); } public void remove_and_unlock() { // Unlock everything new UnlockTask().doAllNodes(); while(!_stack.isEmpty()) { int type = peekType(); switch(type) { case ARY: remove(peek(), false); break;