public String toString(int options) { return this.type == Token.DOT ? "." : "";
public String toString() { return this.toString(0);
    public String toString(int options) {        return this.type == Token.DOT ? "." : "";    }