protected void pushWriteContext(Context c){
  writeContextStack_.push(writeContext_);
  writeContext_=c;
}

protected void pushWriteContext ( Context c ) { writeContextStack_ . push ( writeContext_ ) ; writeContext_ = c ; }
push a new write context onto the stack .
