private void pushAnnotatorsRef(String values){
  annotatorsRef.push(annotatorsRef.peek());
  setAnnotatorsRef(values);
}

private void pushAnnotatorsRef ( String values ) { annotatorsRef . push ( annotatorsRef . peek ( ) ) ; setAnnotatorsRef ( values ) ; }
pushes a new level of annotators references and base the new one on the given values .
