adapted TreeTraverser to new strategoxt.jar version (a further method reset(int) had been added to the interface ITreeBuilder)