@Override
    public int hashCode() {
        int hash = 7;
        hash = 53 * hash + (this.allowLists ? 1 : 0);
        hash = 53 * hash + (this.allowSingleTokens ? 1 : 0);
        hash = 53 * hash + (this.ignoreComments ? 1 : 0);
        hash = 53 * hash + (this.printTimingInfo ? 1 : 0);
        hash = 53 * hash + (this.printWarnings ? 1 : 0);
        hash = 53 * hash + (this.tryToRecover ? 1 : 0);
        hash = 53 * hash + (this.warningsAreErrors ? 1 : 0);
        return hash;
    }