public XPathTokenElement(String tokenName, int tokenType) {super(tokenName);this.tokenType = tokenType;}

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