/** * Pushes a new level of annotators references and base the new one on the given values. * @param values the set of new values with which to update the new level. Can be null to inherit * all the previous level's values. */ private void pushAnnotatorsRef (String values) { annotatorsRef.push(annotatorsRef.peek()); setAnnotatorsRef(values); }