public XPathTokenAnywhereElement(String tokenName, int tokenType) {super(tokenName);this.tokenType = tokenType;}
public XPathTokenAnywhereElement(string tokenName, int tokenType): base(tokenName){this.tokenType = tokenType;}