public PageTraversingUpdate(Updater updater) { properties = updater.getProperties(); root = updater.getRoot(); }