NodeFactory: use an ArrayDeque instead of a Stack