checker-lock-tainting-suppressions.xml

<?xml version="1.0" encoding="UTF-8"?>
<suppressedErrors>
  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/Checker.java</fileName>
    <specifier>methodref.receiver.bound</specifier>
    <message>Incompatible receiver type</message>
    <lineContent>.filter(ExternalResourceHolder.class::isInstance)</lineContent>
    <details>
      found   : @GuardedBy Class&lt;@GuardedBy ExternalResourceHolder&gt;
      required: @GuardSatisfied Class&lt;@GuardedBy ExternalResourceHolder&gt;
      Consequence: method
      @GuardedBy Class&lt;@GuardedBy ExternalResourceHolder&gt;
      is not a valid method reference for method in @GuardedBy Class&lt;@GuardedBy ExternalResourceHolder&gt;
      @GuardedBy boolean isInstance(@GuardSatisfied Class&lt;@GuardedBy ExternalResourceHolder&gt; this, @GuardedBy Object p0)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/DetailAstImpl.java</fileName>
    <specifier>method.guarantee.violated</specifier>
    <message>@SideEffectFree method toString calls method getColumnNo with a weaker @ReleasesNoLocks side effect guarantee</message>
    <lineContent>return text + &quot;[&quot; + getLineNo() + &quot;x&quot; + getColumnNo() + &quot;]&quot;;</lineContent>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/DetailAstImpl.java</fileName>
    <specifier>method.guarantee.violated</specifier>
    <message>@SideEffectFree method toString calls method getLineNo with a weaker @ReleasesNoLocks side effect guarantee</message>
    <lineContent>return text + &quot;[&quot; + getLineNo() + &quot;x&quot; + getColumnNo() + &quot;]&quot;;</lineContent>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/DetailAstImpl.java</fileName>
    <specifier>override.receiver</specifier>
    <message>Incompatible receiver type</message>
    <lineContent>public String toString() {</lineContent>
    <details>
      found   : @GuardedBy DetailAstImpl
      required: @GuardSatisfied Object
      Consequence: method in @GuardedBy DetailAstImpl
      @GuardedBy String toString(@GuardedBy DetailAstImpl this)
      cannot override method in @GuardedBy Object
      @GuardedBy String toString(@GuardSatisfied Object this)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/coding/FallThroughCheck.java</fileName>
    <specifier>methodref.param</specifier>
    <message>Incompatible parameter type for obj</message>
    <lineContent>.filter(Objects::nonNull)</lineContent>
    <details>
      found   : @GuardSatisfied Object
      required: @GuardedBy DetailAST
      Consequence: method in @GuardedBy Objects
      @GuardedBy boolean nonNull(@GuardSatisfied Object p0)
      is not a valid method reference for method in @GuardedBy Predicate&lt;@GuardedBy DetailAST&gt;
      @GuardedBy boolean test(@GuardedBy Predicate&lt;@GuardedBy DetailAST&gt; this, @GuardedBy DetailAST p0)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/coding/FallThroughCheck.java</fileName>
    <specifier>methodref.param</specifier>
    <message>Incompatible parameter type for obj</message>
    <lineContent>Objects::nonNull, DetailAST::getPreviousSibling)</lineContent>
    <details>
      found   : @GuardSatisfied Object
      required: @GuardedBy DetailAST
      Consequence: method in @GuardedBy Objects
      @GuardedBy boolean nonNull(@GuardSatisfied Object p0)
      is not a valid method reference for method in @GuardedBy Predicate&lt;@GuardedBy DetailAST&gt;
      @GuardedBy boolean test(@GuardedBy Predicate&lt;@GuardedBy DetailAST&gt; this, @GuardedBy DetailAST p0)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/Main.java</fileName>
    <specifier>method.guarantee.violated</specifier>
    <message>@SideEffectFree method toString calls method name with a weaker @ReleasesNoLocks side effect guarantee</message>
    <lineContent>return name().toLowerCase(Locale.ROOT);</lineContent>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/Main.java</fileName>
    <specifier>methodref.receiver.bound</specifier>
    <message>Incompatible receiver type</message>
    <lineContent>messages.forEach(System.out::println);</lineContent>
    <details>
      found   : @GuardedBy PrintStream
      required: @GuardSatisfied PrintStream
      Consequence: method
      @GuardedBy PrintStream
      is not a valid method reference for method in @GuardedBy PrintStream
      void println(@GuardSatisfied PrintStream this, @GuardedBy String p0)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/Main.java</fileName>
    <specifier>override.receiver</specifier>
    <message>Incompatible receiver type</message>
    <lineContent>public String toString() {</lineContent>
    <details>
      found   : @GuardedBy OutputFormat
      required: @GuardSatisfied Object
      Consequence: method in @GuardedBy OutputFormat
      @GuardedBy String toString(@GuardedBy OutputFormat this)
      cannot override method in @GuardedBy Object
      @GuardedBy String toString(@GuardSatisfied Object this)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/PackageObjectFactory.java</fileName>
    <specifier>methodref.receiver</specifier>
    <message>Incompatible receiver type</message>
    <lineContent>.map(Entry::getKey)</lineContent>
    <details>
      found   : @GuardSatisfied Entry&lt;@GuardedBy String, @GuardedBy String&gt;
      required: @GuardedBy Entry&lt;@GuardedBy String, @GuardedBy String&gt;
      Consequence: method in @GuardedBy Entry&lt;@GuardedBy String, @GuardedBy String&gt;
      @GuardedBy String getKey(@GuardSatisfied Entry&lt;@GuardedBy String, @GuardedBy String&gt; this)
      is not a valid method reference for method in @GuardedBy Function&lt;@GuardedBy Entry&lt;@GuardedBy String, @GuardedBy String&gt;, @GuardedBy String&gt;
      @GuardedBy String apply(@GuardedBy Function&lt;@GuardedBy Entry&lt;@GuardedBy String, @GuardedBy String&gt;, @GuardedBy String&gt; this, @GuardedBy Entry&lt;@GuardedBy String, @GuardedBy String&gt; p0)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/PropertiesExpander.java</fileName>
    <specifier>methodref.receiver.bound</specifier>
    <message>Incompatible receiver type</message>
    <lineContent>Collectors.toUnmodifiableMap(Function.identity(), properties::getProperty));</lineContent>
    <details>
      found   : @GuardedBy Properties
      required: @GuardSatisfied Properties
      Consequence: method
      @GuardedBy Properties
      is not a valid method reference for method in @GuardedBy Properties
      @GuardedBy String getProperty(@GuardSatisfied Properties this, @GuardedBy String p0)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/TreeWalker.java</fileName>
    <specifier>methodref.receiver</specifier>
    <message>Incompatible receiver type</message>
    <lineContent>.thenComparingInt(AbstractCheck::hashCode));</lineContent>
    <details>
      found   : @GuardSatisfied Object
      required: @GuardedBy AbstractCheck
      Consequence: method in @GuardedBy AbstractCheck
      @GuardedBy int hashCode(@GuardSatisfied Object this)
      is not a valid method reference for method in @GuardedBy ToIntFunction&lt;@GuardedBy AbstractCheck&gt;
      @GuardedBy int applyAsInt(@GuardedBy ToIntFunction&lt;@GuardedBy AbstractCheck&gt; this, @GuardedBy AbstractCheck p0)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/TreeWalker.java</fileName>
    <specifier>methodref.receiver.bound</specifier>
    <message>Incompatible receiver type</message>
    <lineContent>.filter(ExternalResourceHolder.class::isInstance)</lineContent>
    <details>
      found   : @GuardedBy Class&lt;@GuardedBy ExternalResourceHolder&gt;
      required: @GuardSatisfied Class&lt;@GuardedBy ExternalResourceHolder&gt;
      Consequence: method
      @GuardedBy Class&lt;@GuardedBy ExternalResourceHolder&gt;
      is not a valid method reference for method in @GuardedBy Class&lt;@GuardedBy ExternalResourceHolder&gt;
      @GuardedBy boolean isInstance(@GuardSatisfied Class&lt;@GuardedBy ExternalResourceHolder&gt; this, @GuardedBy Object p0)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/XmlLoader.java</fileName>
    <specifier>method.guarantee.violated</specifier>
    <message>@Pure method resolveEntity calls method getClassLoader with a weaker @ReleasesNoLocks side effect guarantee</message>
    <lineContent>final ClassLoader loader = getClass().getClassLoader();</lineContent>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/XmlLoader.java</fileName>
    <specifier>method.guarantee.violated</specifier>
    <message>@Pure method resolveEntity calls method getResourceAsStream with a weaker @ReleasesNoLocks side effect guarantee</message>
    <lineContent>final InputStream dtdIs = loader.getResourceAsStream(dtdResourceName);</lineContent>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/api/BeforeExecutionFileFilterSet.java</fileName>
    <specifier>override.receiver</specifier>
    <message>Incompatible receiver type</message>
    <lineContent>public String toString() {</lineContent>
    <details>
      found   : @GuardedBy BeforeExecutionFileFilterSet
      required: @GuardSatisfied Object
      Consequence: method in @GuardedBy BeforeExecutionFileFilterSet
      @GuardedBy String toString(@GuardedBy BeforeExecutionFileFilterSet this)
      cannot override method in @GuardedBy Object
      @GuardedBy String toString(@GuardSatisfied Object this)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/api/Comment.java</fileName>
    <specifier>override.receiver</specifier>
    <message>Incompatible receiver type</message>
    <lineContent>public String toString() {</lineContent>
    <details>
      found   : @GuardedBy Comment
      required: @GuardSatisfied Object
      Consequence: method in @GuardedBy Comment
      @GuardedBy String toString(@GuardedBy Comment this)
      cannot override method in @GuardedBy Object
      @GuardedBy String toString(@GuardSatisfied Object this)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/api/FilterSet.java</fileName>
    <specifier>override.receiver</specifier>
    <message>Incompatible receiver type</message>
    <lineContent>public String toString() {</lineContent>
    <details>
      found   : @GuardedBy FilterSet
      required: @GuardSatisfied Object
      Consequence: method in @GuardedBy FilterSet
      @GuardedBy String toString(@GuardedBy FilterSet this)
      cannot override method in @GuardedBy Object
      @GuardedBy String toString(@GuardSatisfied Object this)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/api/FullIdent.java</fileName>
    <specifier>method.guarantee.violated</specifier>
    <message>@SideEffectFree method toString calls method getColumnNo with a weaker @ReleasesNoLocks side effect guarantee</message>
    <lineContent>+ &quot;[&quot; + detailAst.getLineNo() + &quot;x&quot; + detailAst.getColumnNo() + &quot;]&quot;;</lineContent>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/api/FullIdent.java</fileName>
    <specifier>method.guarantee.violated</specifier>
    <message>@SideEffectFree method toString calls method getLineNo with a weaker @ReleasesNoLocks side effect guarantee</message>
    <lineContent>+ &quot;[&quot; + detailAst.getLineNo() + &quot;x&quot; + detailAst.getColumnNo() + &quot;]&quot;;</lineContent>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/api/FullIdent.java</fileName>
    <specifier>override.receiver</specifier>
    <message>Incompatible receiver type</message>
    <lineContent>public String toString() {</lineContent>
    <details>
      found   : @GuardedBy FullIdent
      required: @GuardSatisfied Object
      Consequence: method in @GuardedBy FullIdent
      @GuardedBy String toString(@GuardedBy FullIdent this)
      cannot override method in @GuardedBy Object
      @GuardedBy String toString(@GuardSatisfied Object this)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/api/LineColumn.java</fileName>
    <specifier>override.param</specifier>
    <message>Incompatible parameter type for other.</message>
    <lineContent>public boolean equals(Object other) {</lineContent>
    <details>
      found   : @GuardedBy Object
      required: @GuardSatisfied Object
      Consequence: method in @GuardedBy LineColumn
      @GuardedBy boolean equals(@GuardedBy LineColumn this, @GuardedBy Object p0)
      cannot override method in @GuardedBy Object
      @GuardedBy boolean equals(@GuardSatisfied Object this, @GuardSatisfied Object p0)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/api/LineColumn.java</fileName>
    <specifier>override.receiver</specifier>
    <message>Incompatible receiver type</message>
    <lineContent>public int compareTo(LineColumn lineColumn) {</lineContent>
    <details>
      found   : @GuardedBy LineColumn
      required: @GuardSatisfied Comparable&lt;@GuardedBy LineColumn&gt;
      Consequence: method in @GuardedBy LineColumn
      @GuardedBy int compareTo(@GuardedBy LineColumn this, @GuardedBy LineColumn p0)
      cannot override method in @GuardedBy Comparable&lt;@GuardedBy LineColumn&gt;
      @GuardedBy int compareTo(@GuardSatisfied Comparable&lt;@GuardedBy LineColumn&gt; this, @GuardedBy LineColumn p0)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/api/LineColumn.java</fileName>
    <specifier>override.receiver</specifier>
    <message>Incompatible receiver type</message>
    <lineContent>public boolean equals(Object other) {</lineContent>
    <details>
      found   : @GuardedBy LineColumn
      required: @GuardSatisfied Object
      Consequence: method in @GuardedBy LineColumn
      @GuardedBy boolean equals(@GuardedBy LineColumn this, @GuardedBy Object p0)
      cannot override method in @GuardedBy Object
      @GuardedBy boolean equals(@GuardSatisfied Object this, @GuardSatisfied Object p0)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/api/LineColumn.java</fileName>
    <specifier>override.receiver</specifier>
    <message>Incompatible receiver type</message>
    <lineContent>public int hashCode() {</lineContent>
    <details>
      found   : @GuardedBy LineColumn
      required: @GuardSatisfied Object
      Consequence: method in @GuardedBy LineColumn
      @GuardedBy int hashCode(@GuardedBy LineColumn this)
      cannot override method in @GuardedBy Object
      @GuardedBy int hashCode(@GuardSatisfied Object this)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/api/Scope.java</fileName>
    <specifier>method.guarantee.violated</specifier>
    <message>@SideEffectFree method toString calls method getName with a weaker @ReleasesNoLocks side effect guarantee</message>
    <lineContent>return getName();</lineContent>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/api/Scope.java</fileName>
    <specifier>override.receiver</specifier>
    <message>Incompatible receiver type</message>
    <lineContent>public String toString() {</lineContent>
    <details>
      found   : @GuardedBy Scope
      required: @GuardSatisfied Object
      Consequence: method in @GuardedBy Scope
      @GuardedBy String toString(@GuardedBy Scope this)
      cannot override method in @GuardedBy Object
      @GuardedBy String toString(@GuardSatisfied Object this)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/api/SeverityLevel.java</fileName>
    <specifier>method.guarantee.violated</specifier>
    <message>@SideEffectFree method toString calls method getName with a weaker @ReleasesNoLocks side effect guarantee</message>
    <lineContent>return getName();</lineContent>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/api/SeverityLevel.java</fileName>
    <specifier>override.receiver</specifier>
    <message>Incompatible receiver type</message>
    <lineContent>public String toString() {</lineContent>
    <details>
      found   : @GuardedBy SeverityLevel
      required: @GuardSatisfied Object
      Consequence: method in @GuardedBy SeverityLevel
      @GuardedBy String toString(@GuardedBy SeverityLevel this)
      cannot override method in @GuardedBy Object
      @GuardedBy String toString(@GuardSatisfied Object this)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/api/Violation.java</fileName>
    <specifier>method.guarantee.violated</specifier>
    <message>@Pure method compareTo calls method getViolation with a weaker @ReleasesNoLocks side effect guarantee</message>
    <lineContent>result = getViolation().compareTo(other.getViolation());</lineContent>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/api/Violation.java</fileName>
    <specifier>method.guarantee.violated</specifier>
    <message>@Pure method compareTo calls method getViolation with a weaker @ReleasesNoLocks side effect guarantee</message>
    <lineContent>result = getViolation().compareTo(other.getViolation());</lineContent>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/api/Violation.java</fileName>
    <specifier>override.param</specifier>
    <message>Incompatible parameter type for object.</message>
    <lineContent>public boolean equals(Object object) {</lineContent>
    <details>
      found   : @GuardedBy Object
      required: @GuardSatisfied Object
      Consequence: method in @GuardedBy Violation
      @GuardedBy boolean equals(@GuardedBy Violation this, @GuardedBy Object p0)
      cannot override method in @GuardedBy Object
      @GuardedBy boolean equals(@GuardSatisfied Object this, @GuardSatisfied Object p0)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/api/Violation.java</fileName>
    <specifier>override.receiver</specifier>
    <message>Incompatible receiver type</message>
    <lineContent>public int compareTo(Violation other) {</lineContent>
    <details>
      found   : @GuardedBy Violation
      required: @GuardSatisfied Comparable&lt;@GuardedBy Violation&gt;
      Consequence: method in @GuardedBy Violation
      @GuardedBy int compareTo(@GuardedBy Violation this, @GuardedBy Violation p0)
      cannot override method in @GuardedBy Comparable&lt;@GuardedBy Violation&gt;
      @GuardedBy int compareTo(@GuardSatisfied Comparable&lt;@GuardedBy Violation&gt; this, @GuardedBy Violation p0)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/api/Violation.java</fileName>
    <specifier>override.receiver</specifier>
    <message>Incompatible receiver type</message>
    <lineContent>public boolean equals(Object object) {</lineContent>
    <details>
      found   : @GuardedBy Violation
      required: @GuardSatisfied Object
      Consequence: method in @GuardedBy Violation
      @GuardedBy boolean equals(@GuardedBy Violation this, @GuardedBy Object p0)
      cannot override method in @GuardedBy Object
      @GuardedBy boolean equals(@GuardSatisfied Object this, @GuardSatisfied Object p0)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/api/Violation.java</fileName>
    <specifier>override.receiver</specifier>
    <message>Incompatible receiver type</message>
    <lineContent>public int hashCode() {</lineContent>
    <details>
      found   : @GuardedBy Violation
      required: @GuardSatisfied Object
      Consequence: method in @GuardedBy Violation
      @GuardedBy int hashCode(@GuardedBy Violation this)
      cannot override method in @GuardedBy Object
      @GuardedBy int hashCode(@GuardSatisfied Object this)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/OrderedPropertiesCheck.java</fileName>
    <specifier>override.receiver</specifier>
    <message>Incompatible receiver type</message>
    <lineContent>public synchronized Object put(Object key, Object value) {</lineContent>
    <details>
      found   : @GuardedBy SequencedProperties
      required: @GuardSatisfied Hashtable&lt;@GuardedBy Object, @GuardedBy Object&gt;
      Consequence: method in @GuardedBy SequencedProperties
      @GuardedBy Object put(@GuardedBy SequencedProperties this, @GuardedBy Object p0, @GuardedBy Object p1)
      cannot override method in @GuardedBy Hashtable&lt;@GuardedBy Object, @GuardedBy Object&gt;
      @GuardedBy Object put(@GuardSatisfied Hashtable&lt;@GuardedBy Object, @GuardedBy Object&gt; this, @GuardedBy Object p0, @GuardedBy Object p1)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/UniquePropertiesCheck.java</fileName>
    <specifier>override.receiver</specifier>
    <message>Incompatible receiver type</message>
    <lineContent>public synchronized Object put(Object key, Object value) {</lineContent>
    <details>
      found   : @GuardedBy UniqueProperties
      required: @GuardSatisfied Hashtable&lt;@GuardedBy Object, @GuardedBy Object&gt;
      Consequence: method in @GuardedBy UniqueProperties
      @GuardedBy Object put(@GuardedBy UniqueProperties this, @GuardedBy Object p0, @GuardedBy Object p1)
      cannot override method in @GuardedBy Hashtable&lt;@GuardedBy Object, @GuardedBy Object&gt;
      @GuardedBy Object put(@GuardSatisfied Hashtable&lt;@GuardedBy Object, @GuardedBy Object&gt; this, @GuardedBy Object p0, @GuardedBy Object p1)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/annotation/MissingOverrideCheck.java</fileName>
    <specifier>methodref.param</specifier>
    <message>Incompatible parameter type for obj</message>
    <lineContent>Stream.iterate(startNode.getLastChild(), Objects::nonNull,</lineContent>
    <details>
      found   : @GuardSatisfied Object
      required: @GuardedBy DetailAST
      Consequence: method in @GuardedBy Objects
      @GuardedBy boolean nonNull(@GuardSatisfied Object p0)
      is not a valid method reference for method in @GuardedBy Predicate&lt;@GuardedBy DetailAST&gt;
      @GuardedBy boolean test(@GuardedBy Predicate&lt;@GuardedBy DetailAST&gt; this, @GuardedBy DetailAST p0)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/coding/ModifiedControlVariableCheck.java</fileName>
    <specifier>methodref.param</specifier>
    <message>Incompatible parameter type for arg0</message>
    <lineContent>return initializedVariables.stream().filter(iteratingVariables::contains)</lineContent>
    <details>
      found   : @GuardSatisfied Object
      required: @GuardedBy String
      Consequence: method in @GuardedBy Set&lt;@GuardedBy String&gt;
      @GuardedBy boolean contains(@GuardSatisfied Set&lt;@GuardedBy String&gt; this, @GuardSatisfied Object p0)
      is not a valid method reference for method in @GuardedBy Predicate&lt;@GuardedBy String&gt;
      @GuardedBy boolean test(@GuardedBy Predicate&lt;@GuardedBy String&gt; this, @GuardedBy String p0)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/coding/ModifiedControlVariableCheck.java</fileName>
    <specifier>methodref.receiver.bound</specifier>
    <message>Incompatible receiver type</message>
    <lineContent>return initializedVariables.stream().filter(iteratingVariables::contains)</lineContent>
    <details>
      found   : @GuardedBy Set&lt;@GuardedBy String&gt;
      required: @GuardSatisfied Set&lt;@GuardedBy String&gt;
      Consequence: method
      @GuardedBy Set&lt;@GuardedBy String&gt;
      is not a valid method reference for method in @GuardedBy Set&lt;@GuardedBy String&gt;
      @GuardedBy boolean contains(@GuardSatisfied Set&lt;@GuardedBy String&gt; this, @GuardSatisfied Object p0)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/coding/UnusedLocalVariableCheck.java</fileName>
    <specifier>methodref.receiver.bound</specifier>
    <message>Incompatible receiver type</message>
    <lineContent>instAndClassVarDeque.forEach(variablesStack::push);</lineContent>
    <details>
      found   : @GuardedBy Deque&lt;@GuardedBy VariableDesc&gt;
      required: @GuardSatisfied Deque&lt;@GuardedBy VariableDesc&gt;
      Consequence: method
      @GuardedBy Deque&lt;@GuardedBy VariableDesc&gt;
      is not a valid method reference for method in @GuardedBy Deque&lt;@GuardedBy VariableDesc&gt;
      void push(@GuardSatisfied Deque&lt;@GuardedBy VariableDesc&gt; this, @GuardedBy VariableDesc p0)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/design/FinalClassCheck.java</fileName>
    <specifier>methodref.receiver</specifier>
    <message>Incompatible receiver type</message>
    <lineContent>.map(Map.Entry::getValue)</lineContent>
    <details>
      found   : @GuardSatisfied Entry&lt;@GuardedBy String, @GuardedBy ClassDesc&gt;
      required: @GuardedBy Entry&lt;@GuardedBy String, @GuardedBy ClassDesc&gt;
      Consequence: method in @GuardedBy Entry&lt;@GuardedBy String, @GuardedBy ClassDesc&gt;
      @GuardedBy ClassDesc getValue(@GuardSatisfied Entry&lt;@GuardedBy String, @GuardedBy ClassDesc&gt; this)
      is not a valid method reference for method in @GuardedBy Function&lt;@GuardedBy Entry&lt;@GuardedBy String, @GuardedBy ClassDesc&gt;, @GuardedBy ClassDesc&gt;
      @GuardedBy ClassDesc apply(@GuardedBy Function&lt;@GuardedBy Entry&lt;@GuardedBy String, @GuardedBy ClassDesc&gt;, @GuardedBy ClassDesc&gt; this, @GuardedBy Entry&lt;@GuardedBy String, @GuardedBy ClassDesc&gt; p0)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/indentation/IndentLevel.java</fileName>
    <specifier>method.guarantee.violated</specifier>
    <message>@SideEffectFree method toString calls method append with a weaker @ReleasesNoLocks side effect guarantee</message>
    <lineContent>sb.append(&quot;, &quot;);</lineContent>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/indentation/IndentLevel.java</fileName>
    <specifier>method.guarantee.violated</specifier>
    <message>@SideEffectFree method toString calls method append with a weaker @ReleasesNoLocks side effect guarantee</message>
    <lineContent>sb.append(i);</lineContent>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/indentation/IndentLevel.java</fileName>
    <specifier>override.receiver</specifier>
    <message>Incompatible receiver type</message>
    <lineContent>public String toString() {</lineContent>
    <details>
      found   : @GuardedBy IndentLevel
      required: @GuardSatisfied Object
      Consequence: method in @GuardedBy IndentLevel
      @GuardedBy String toString(@GuardedBy IndentLevel this)
      cannot override method in @GuardedBy Object
      @GuardedBy String toString(@GuardSatisfied Object this)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/javadoc/AbstractJavadocCheck.java</fileName>
    <specifier>methodref.param</specifier>
    <message>Incompatible parameter type for obj</message>
    <lineContent>.map(String::valueOf)</lineContent>
    <details>
      found   : @GuardSatisfied Object
      required: @GuardedBy Integer
      Consequence: method in @GuardedBy String
      @NewObject String valueOf(@GuardSatisfied Object p0)
      is not a valid method reference for method in @GuardedBy Function&lt;@GuardedBy Integer, @GuardedBy String&gt;
      @GuardedBy String apply(@GuardedBy Function&lt;@GuardedBy Integer, @GuardedBy String&gt; this, @GuardedBy Integer p0)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/javadoc/HtmlTag.java</fileName>
    <specifier>override.receiver</specifier>
    <message>Incompatible receiver type</message>
    <lineContent>public String toString() {</lineContent>
    <details>
      found   : @GuardedBy HtmlTag
      required: @GuardSatisfied Object
      Consequence: method in @GuardedBy HtmlTag
      @GuardedBy String toString(@GuardedBy HtmlTag this)
      cannot override method in @GuardedBy Object
      @GuardedBy String toString(@GuardSatisfied Object this)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/javadoc/JavadocMethodCheck.java</fileName>
    <specifier>override.receiver</specifier>
    <message>Incompatible receiver type</message>
    <lineContent>public String toString() {</lineContent>
    <details>
      found   : @GuardedBy Token
      required: @GuardSatisfied Object
      Consequence: method in @GuardedBy Token
      @GuardedBy String toString(@GuardedBy Token this)
      cannot override method in @GuardedBy Object
      @GuardedBy String toString(@GuardSatisfied Object this)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/javadoc/JavadocNodeImpl.java</fileName>
    <specifier>method.guarantee.violated</specifier>
    <message>@SideEffectFree method toString calls method getTokenName with a weaker @ReleasesNoLocks side effect guarantee</message>
    <lineContent>+ &quot;, type=&quot; + JavadocUtil.getTokenName(type)</lineContent>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/javadoc/JavadocNodeImpl.java</fileName>
    <specifier>override.receiver</specifier>
    <message>Incompatible receiver type</message>
    <lineContent>public String toString() {</lineContent>
    <details>
      found   : @GuardedBy JavadocNodeImpl
      required: @GuardSatisfied Object
      Consequence: method in @GuardedBy JavadocNodeImpl
      @GuardedBy String toString(@GuardedBy JavadocNodeImpl this)
      cannot override method in @GuardedBy Object
      @GuardedBy String toString(@GuardSatisfied Object this)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/javadoc/JavadocTag.java</fileName>
    <specifier>method.guarantee.violated</specifier>
    <message>@SideEffectFree method toString calls method getName with a weaker @ReleasesNoLocks side effect guarantee</message>
    <lineContent>return &quot;JavadocTag[tag=&apos;&quot; + tagInfo.getName()</lineContent>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/javadoc/JavadocTag.java</fileName>
    <specifier>override.receiver</specifier>
    <message>Incompatible receiver type</message>
    <lineContent>public String toString() {</lineContent>
    <details>
      found   : @GuardedBy JavadocTag
      required: @GuardSatisfied Object
      Consequence: method in @GuardedBy JavadocTag
      @GuardedBy String toString(@GuardedBy JavadocTag this)
      cannot override method in @GuardedBy Object
      @GuardedBy String toString(@GuardSatisfied Object this)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/javadoc/JavadocTagInfo.java</fileName>
    <specifier>override.receiver</specifier>
    <message>Incompatible receiver type</message>
    <lineContent>public String toString() {</lineContent>
    <details>
      found   : @GuardedBy JavadocTagInfo
      required: @GuardSatisfied Object
      Consequence: method in @GuardedBy JavadocTagInfo
      @GuardedBy String toString(@GuardedBy JavadocTagInfo this)
      cannot override method in @GuardedBy Object
      @GuardedBy String toString(@GuardSatisfied Object this)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/metrics/AbstractClassCouplingCheck.java</fileName>
    <specifier>methodref.receiver.bound</specifier>
    <message>Incompatible receiver type</message>
    <lineContent>.forEach(excludeClassesRegexps::add);</lineContent>
    <details>
      found   : @GuardedBy List&lt;@GuardedBy Pattern&gt;
      required: @GuardSatisfied List&lt;@GuardedBy Pattern&gt;
      Consequence: method
      @GuardedBy List&lt;@GuardedBy Pattern&gt;
      is not a valid method reference for method in @GuardedBy List&lt;@GuardedBy Pattern&gt;
      @GuardedBy boolean add(@GuardSatisfied List&lt;@GuardedBy Pattern&gt; this, @GuardedBy Pattern p0)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/naming/AccessModifierOption.java</fileName>
    <specifier>method.guarantee.violated</specifier>
    <message>@SideEffectFree method toString calls method getName with a weaker @ReleasesNoLocks side effect guarantee</message>
    <lineContent>return getName();</lineContent>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/naming/AccessModifierOption.java</fileName>
    <specifier>override.receiver</specifier>
    <message>Incompatible receiver type</message>
    <lineContent>public String toString() {</lineContent>
    <details>
      found   : @GuardedBy AccessModifierOption
      required: @GuardSatisfied Object
      Consequence: method in @GuardedBy AccessModifierOption
      @GuardedBy String toString(@GuardedBy AccessModifierOption this)
      cannot override method in @GuardedBy Object
      @GuardedBy String toString(@GuardSatisfied Object this)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/checks/sizes/MethodLengthCheck.java</fileName>
    <specifier>methodref.param</specifier>
    <message>Incompatible parameter type for obj</message>
    <lineContent>node.getLastChild(), Objects::nonNull, DetailAST::getPreviousSibling</lineContent>
    <details>
      found   : @GuardSatisfied Object
      required: @GuardedBy DetailAST
      Consequence: method in @GuardedBy Objects
      @GuardedBy boolean nonNull(@GuardSatisfied Object p0)
      is not a valid method reference for method in @GuardedBy Predicate&lt;@GuardedBy DetailAST&gt;
      @GuardedBy boolean test(@GuardedBy Predicate&lt;@GuardedBy DetailAST&gt; this, @GuardedBy DetailAST p0)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/filters/CsvFilterElement.java</fileName>
    <specifier>override.param</specifier>
    <message>Incompatible parameter type for object.</message>
    <lineContent>public boolean equals(Object object) {</lineContent>
    <details>
      found   : @GuardedBy Object
      required: @GuardSatisfied Object
      Consequence: method in @GuardedBy CsvFilterElement
      @GuardedBy boolean equals(@GuardedBy CsvFilterElement this, @GuardedBy Object p0)
      cannot override method in @GuardedBy Object
      @GuardedBy boolean equals(@GuardSatisfied Object this, @GuardSatisfied Object p0)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/filters/CsvFilterElement.java</fileName>
    <specifier>override.receiver</specifier>
    <message>Incompatible receiver type</message>
    <lineContent>public boolean equals(Object object) {</lineContent>
    <details>
      found   : @GuardedBy CsvFilterElement
      required: @GuardSatisfied Object
      Consequence: method in @GuardedBy CsvFilterElement
      @GuardedBy boolean equals(@GuardedBy CsvFilterElement this, @GuardedBy Object p0)
      cannot override method in @GuardedBy Object
      @GuardedBy boolean equals(@GuardSatisfied Object this, @GuardSatisfied Object p0)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/filters/CsvFilterElement.java</fileName>
    <specifier>override.receiver</specifier>
    <message>Incompatible receiver type</message>
    <lineContent>public int hashCode() {</lineContent>
    <details>
      found   : @GuardedBy CsvFilterElement
      required: @GuardSatisfied Object
      Consequence: method in @GuardedBy CsvFilterElement
      @GuardedBy int hashCode(@GuardedBy CsvFilterElement this)
      cannot override method in @GuardedBy Object
      @GuardedBy int hashCode(@GuardSatisfied Object this)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/filters/IntMatchFilterElement.java</fileName>
    <specifier>method.guarantee.violated</specifier>
    <message>@Pure method hashCode calls method valueOf with a weaker @SideEffectFree side effect guarantee</message>
    <lineContent>return Integer.valueOf(matchValue).hashCode();</lineContent>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/filters/IntMatchFilterElement.java</fileName>
    <specifier>override.param</specifier>
    <message>Incompatible parameter type for object.</message>
    <lineContent>public final boolean equals(Object object) {</lineContent>
    <details>
      found   : @GuardedBy Object
      required: @GuardSatisfied Object
      Consequence: method in @GuardedBy IntMatchFilterElement
      @GuardedBy boolean equals(@GuardedBy IntMatchFilterElement this, @GuardedBy Object p0)
      cannot override method in @GuardedBy Object
      @GuardedBy boolean equals(@GuardSatisfied Object this, @GuardSatisfied Object p0)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/filters/IntMatchFilterElement.java</fileName>
    <specifier>override.receiver</specifier>
    <message>Incompatible receiver type</message>
    <lineContent>public String toString() {</lineContent>
    <details>
      found   : @GuardedBy IntMatchFilterElement
      required: @GuardSatisfied Object
      Consequence: method in @GuardedBy IntMatchFilterElement
      @GuardedBy String toString(@GuardedBy IntMatchFilterElement this)
      cannot override method in @GuardedBy Object
      @GuardedBy String toString(@GuardSatisfied Object this)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/filters/IntMatchFilterElement.java</fileName>
    <specifier>override.receiver</specifier>
    <message>Incompatible receiver type</message>
    <lineContent>public final boolean equals(Object object) {</lineContent>
    <details>
      found   : @GuardedBy IntMatchFilterElement
      required: @GuardSatisfied Object
      Consequence: method in @GuardedBy IntMatchFilterElement
      @GuardedBy boolean equals(@GuardedBy IntMatchFilterElement this, @GuardedBy Object p0)
      cannot override method in @GuardedBy Object
      @GuardedBy boolean equals(@GuardSatisfied Object this, @GuardSatisfied Object p0)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/filters/IntMatchFilterElement.java</fileName>
    <specifier>override.receiver</specifier>
    <message>Incompatible receiver type</message>
    <lineContent>public final int hashCode() {</lineContent>
    <details>
      found   : @GuardedBy IntMatchFilterElement
      required: @GuardSatisfied Object
      Consequence: method in @GuardedBy IntMatchFilterElement
      @GuardedBy int hashCode(@GuardedBy IntMatchFilterElement this)
      cannot override method in @GuardedBy Object
      @GuardedBy int hashCode(@GuardSatisfied Object this)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/filters/IntRangeFilterElement.java</fileName>
    <specifier>override.param</specifier>
    <message>Incompatible parameter type for other.</message>
    <lineContent>public boolean equals(Object other) {</lineContent>
    <details>
      found   : @GuardedBy Object
      required: @GuardSatisfied Object
      Consequence: method in @GuardedBy IntRangeFilterElement
      @GuardedBy boolean equals(@GuardedBy IntRangeFilterElement this, @GuardedBy Object p0)
      cannot override method in @GuardedBy Object
      @GuardedBy boolean equals(@GuardSatisfied Object this, @GuardSatisfied Object p0)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/filters/IntRangeFilterElement.java</fileName>
    <specifier>override.receiver</specifier>
    <message>Incompatible receiver type</message>
    <lineContent>public boolean equals(Object other) {</lineContent>
    <details>
      found   : @GuardedBy IntRangeFilterElement
      required: @GuardSatisfied Object
      Consequence: method in @GuardedBy IntRangeFilterElement
      @GuardedBy boolean equals(@GuardedBy IntRangeFilterElement this, @GuardedBy Object p0)
      cannot override method in @GuardedBy Object
      @GuardedBy boolean equals(@GuardSatisfied Object this, @GuardSatisfied Object p0)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/filters/IntRangeFilterElement.java</fileName>
    <specifier>override.receiver</specifier>
    <message>Incompatible receiver type</message>
    <lineContent>public int hashCode() {</lineContent>
    <details>
      found   : @GuardedBy IntRangeFilterElement
      required: @GuardSatisfied Object
      Consequence: method in @GuardedBy IntRangeFilterElement
      @GuardedBy int hashCode(@GuardedBy IntRangeFilterElement this)
      cannot override method in @GuardedBy Object
      @GuardedBy int hashCode(@GuardSatisfied Object this)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/filters/SuppressFilterElement.java</fileName>
    <specifier>method.guarantee.violated</specifier>
    <message>@Pure method equals calls method getPatternSafely with a weaker @ReleasesNoLocks side effect guarantee</message>
    <lineContent>&amp;&amp; Objects.equals(getPatternSafely(checkRegexp),</lineContent>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/filters/SuppressFilterElement.java</fileName>
    <specifier>method.guarantee.violated</specifier>
    <message>@Pure method equals calls method getPatternSafely with a weaker @ReleasesNoLocks side effect guarantee</message>
    <lineContent>&amp;&amp; Objects.equals(getPatternSafely(messageRegexp),</lineContent>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/filters/SuppressFilterElement.java</fileName>
    <specifier>method.guarantee.violated</specifier>
    <message>@Pure method equals calls method getPatternSafely with a weaker @ReleasesNoLocks side effect guarantee</message>
    <lineContent>getPatternSafely(suppressElement.checkRegexp))</lineContent>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/filters/SuppressFilterElement.java</fileName>
    <specifier>method.guarantee.violated</specifier>
    <message>@Pure method equals calls method getPatternSafely with a weaker @ReleasesNoLocks side effect guarantee</message>
    <lineContent>getPatternSafely(suppressElement.fileRegexp))</lineContent>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/filters/SuppressFilterElement.java</fileName>
    <specifier>method.guarantee.violated</specifier>
    <message>@Pure method equals calls method getPatternSafely with a weaker @ReleasesNoLocks side effect guarantee</message>
    <lineContent>getPatternSafely(suppressElement.messageRegexp))</lineContent>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/filters/SuppressFilterElement.java</fileName>
    <specifier>method.guarantee.violated</specifier>
    <message>@Pure method equals calls method getPatternSafely with a weaker @ReleasesNoLocks side effect guarantee</message>
    <lineContent>return Objects.equals(getPatternSafely(fileRegexp),</lineContent>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/filters/SuppressFilterElement.java</fileName>
    <specifier>method.guarantee.violated</specifier>
    <message>@Pure method hashCode calls method getPatternSafely with a weaker @ReleasesNoLocks side effect guarantee</message>
    <lineContent>getPatternSafely(messageRegexp), moduleId, linesCsv, columnsCsv);</lineContent>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/filters/SuppressFilterElement.java</fileName>
    <specifier>method.guarantee.violated</specifier>
    <message>@Pure method hashCode calls method getPatternSafely with a weaker @ReleasesNoLocks side effect guarantee</message>
    <lineContent>return Objects.hash(getPatternSafely(fileRegexp), getPatternSafely(checkRegexp),</lineContent>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/filters/SuppressFilterElement.java</fileName>
    <specifier>method.guarantee.violated</specifier>
    <message>@Pure method hashCode calls method getPatternSafely with a weaker @ReleasesNoLocks side effect guarantee</message>
    <lineContent>return Objects.hash(getPatternSafely(fileRegexp), getPatternSafely(checkRegexp),</lineContent>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/filters/SuppressFilterElement.java</fileName>
    <specifier>override.param</specifier>
    <message>Incompatible parameter type for other.</message>
    <lineContent>public boolean equals(Object other) {</lineContent>
    <details>
      found   : @GuardedBy Object
      required: @GuardSatisfied Object
      Consequence: method in @GuardedBy SuppressFilterElement
      @GuardedBy boolean equals(@GuardedBy SuppressFilterElement this, @GuardedBy Object p0)
      cannot override method in @GuardedBy Object
      @GuardedBy boolean equals(@GuardSatisfied Object this, @GuardSatisfied Object p0)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/filters/SuppressFilterElement.java</fileName>
    <specifier>override.receiver</specifier>
    <message>Incompatible receiver type</message>
    <lineContent>public boolean equals(Object other) {</lineContent>
    <details>
      found   : @GuardedBy SuppressFilterElement
      required: @GuardSatisfied Object
      Consequence: method in @GuardedBy SuppressFilterElement
      @GuardedBy boolean equals(@GuardedBy SuppressFilterElement this, @GuardedBy Object p0)
      cannot override method in @GuardedBy Object
      @GuardedBy boolean equals(@GuardSatisfied Object this, @GuardSatisfied Object p0)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/filters/SuppressFilterElement.java</fileName>
    <specifier>override.receiver</specifier>
    <message>Incompatible receiver type</message>
    <lineContent>public int hashCode() {</lineContent>
    <details>
      found   : @GuardedBy SuppressFilterElement
      required: @GuardSatisfied Object
      Consequence: method in @GuardedBy SuppressFilterElement
      @GuardedBy int hashCode(@GuardedBy SuppressFilterElement this)
      cannot override method in @GuardedBy Object
      @GuardedBy int hashCode(@GuardSatisfied Object this)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/filters/SuppressWithNearbyCommentFilter.java</fileName>
    <specifier>override.param</specifier>
    <message>Incompatible parameter type for other.</message>
    <lineContent>public boolean equals(Object other) {</lineContent>
    <details>
      found   : @GuardedBy Object
      required: @GuardSatisfied Object
      Consequence: method in @GuardedBy Tag
      @GuardedBy boolean equals(@GuardedBy Tag this, @GuardedBy Object p0)
      cannot override method in @GuardedBy Object
      @GuardedBy boolean equals(@GuardSatisfied Object this, @GuardSatisfied Object p0)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/filters/SuppressWithNearbyCommentFilter.java</fileName>
    <specifier>override.receiver</specifier>
    <message>Incompatible receiver type</message>
    <lineContent>public String toString() {</lineContent>
    <details>
      found   : @GuardedBy Tag
      required: @GuardSatisfied Object
      Consequence: method in @GuardedBy Tag
      @GuardedBy String toString(@GuardedBy Tag this)
      cannot override method in @GuardedBy Object
      @GuardedBy String toString(@GuardSatisfied Object this)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/filters/SuppressWithNearbyCommentFilter.java</fileName>
    <specifier>override.receiver</specifier>
    <message>Incompatible receiver type</message>
    <lineContent>public boolean equals(Object other) {</lineContent>
    <details>
      found   : @GuardedBy Tag
      required: @GuardSatisfied Object
      Consequence: method in @GuardedBy Tag
      @GuardedBy boolean equals(@GuardedBy Tag this, @GuardedBy Object p0)
      cannot override method in @GuardedBy Object
      @GuardedBy boolean equals(@GuardSatisfied Object this, @GuardSatisfied Object p0)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/filters/SuppressWithNearbyCommentFilter.java</fileName>
    <specifier>override.receiver</specifier>
    <message>Incompatible receiver type</message>
    <lineContent>public int hashCode() {</lineContent>
    <details>
      found   : @GuardedBy Tag
      required: @GuardSatisfied Object
      Consequence: method in @GuardedBy Tag
      @GuardedBy int hashCode(@GuardedBy Tag this)
      cannot override method in @GuardedBy Object
      @GuardedBy int hashCode(@GuardSatisfied Object this)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/filters/SuppressWithPlainTextCommentFilter.java</fileName>
    <specifier>override.param</specifier>
    <message>Incompatible parameter type for other.</message>
    <lineContent>public boolean equals(Object other) {</lineContent>
    <details>
      found   : @GuardedBy Object
      required: @GuardSatisfied Object
      Consequence: method in @GuardedBy Suppression
      @GuardedBy boolean equals(@GuardedBy Suppression this, @GuardedBy Object p0)
      cannot override method in @GuardedBy Object
      @GuardedBy boolean equals(@GuardSatisfied Object this, @GuardSatisfied Object p0)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/filters/SuppressWithPlainTextCommentFilter.java</fileName>
    <specifier>override.receiver</specifier>
    <message>Incompatible receiver type</message>
    <lineContent>public boolean equals(Object other) {</lineContent>
    <details>
      found   : @GuardedBy Suppression
      required: @GuardSatisfied Object
      Consequence: method in @GuardedBy Suppression
      @GuardedBy boolean equals(@GuardedBy Suppression this, @GuardedBy Object p0)
      cannot override method in @GuardedBy Object
      @GuardedBy boolean equals(@GuardSatisfied Object this, @GuardSatisfied Object p0)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/filters/SuppressWithPlainTextCommentFilter.java</fileName>
    <specifier>override.receiver</specifier>
    <message>Incompatible receiver type</message>
    <lineContent>public int hashCode() {</lineContent>
    <details>
      found   : @GuardedBy Suppression
      required: @GuardSatisfied Object
      Consequence: method in @GuardedBy Suppression
      @GuardedBy int hashCode(@GuardedBy Suppression this)
      cannot override method in @GuardedBy Object
      @GuardedBy int hashCode(@GuardSatisfied Object this)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/filters/SuppressionCommentFilter.java</fileName>
    <specifier>override.param</specifier>
    <message>Incompatible parameter type for other.</message>
    <lineContent>public boolean equals(Object other) {</lineContent>
    <details>
      found   : @GuardedBy Object
      required: @GuardSatisfied Object
      Consequence: method in @GuardedBy Tag
      @GuardedBy boolean equals(@GuardedBy Tag this, @GuardedBy Object p0)
      cannot override method in @GuardedBy Object
      @GuardedBy boolean equals(@GuardSatisfied Object this, @GuardSatisfied Object p0)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/filters/SuppressionCommentFilter.java</fileName>
    <specifier>override.receiver</specifier>
    <message>Incompatible receiver type</message>
    <lineContent>public int compareTo(Tag object) {</lineContent>
    <details>
      found   : @GuardedBy Tag
      required: @GuardSatisfied Comparable&lt;@GuardedBy Tag&gt;
      Consequence: method in @GuardedBy Tag
      @GuardedBy int compareTo(@GuardedBy Tag this, @GuardedBy Tag p0)
      cannot override method in @GuardedBy Comparable&lt;@GuardedBy Tag&gt;
      @GuardedBy int compareTo(@GuardSatisfied Comparable&lt;@GuardedBy Tag&gt; this, @GuardedBy Tag p0)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/filters/SuppressionCommentFilter.java</fileName>
    <specifier>override.receiver</specifier>
    <message>Incompatible receiver type</message>
    <lineContent>public String toString() {</lineContent>
    <details>
      found   : @GuardedBy Tag
      required: @GuardSatisfied Object
      Consequence: method in @GuardedBy Tag
      @GuardedBy String toString(@GuardedBy Tag this)
      cannot override method in @GuardedBy Object
      @GuardedBy String toString(@GuardSatisfied Object this)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/filters/SuppressionCommentFilter.java</fileName>
    <specifier>override.receiver</specifier>
    <message>Incompatible receiver type</message>
    <lineContent>public boolean equals(Object other) {</lineContent>
    <details>
      found   : @GuardedBy Tag
      required: @GuardSatisfied Object
      Consequence: method in @GuardedBy Tag
      @GuardedBy boolean equals(@GuardedBy Tag this, @GuardedBy Object p0)
      cannot override method in @GuardedBy Object
      @GuardedBy boolean equals(@GuardSatisfied Object this, @GuardSatisfied Object p0)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/filters/SuppressionCommentFilter.java</fileName>
    <specifier>override.receiver</specifier>
    <message>Incompatible receiver type</message>
    <lineContent>public int hashCode() {</lineContent>
    <details>
      found   : @GuardedBy Tag
      required: @GuardSatisfied Object
      Consequence: method in @GuardedBy Tag
      @GuardedBy int hashCode(@GuardedBy Tag this)
      cannot override method in @GuardedBy Object
      @GuardedBy int hashCode(@GuardSatisfied Object this)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/filters/SuppressionXpathFilter.java</fileName>
    <specifier>override.param</specifier>
    <message>Incompatible parameter type for obj.</message>
    <lineContent>public boolean equals(Object obj) {</lineContent>
    <details>
      found   : @GuardedBy Object
      required: @GuardSatisfied Object
      Consequence: method in @GuardedBy SuppressionXpathFilter
      @GuardedBy boolean equals(@GuardedBy SuppressionXpathFilter this, @GuardedBy Object p0)
      cannot override method in @GuardedBy Object
      @GuardedBy boolean equals(@GuardSatisfied Object this, @GuardSatisfied Object p0)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/filters/SuppressionXpathFilter.java</fileName>
    <specifier>override.receiver</specifier>
    <message>Incompatible receiver type</message>
    <lineContent>public boolean equals(Object obj) {</lineContent>
    <details>
      found   : @GuardedBy SuppressionXpathFilter
      required: @GuardSatisfied Object
      Consequence: method in @GuardedBy SuppressionXpathFilter
      @GuardedBy boolean equals(@GuardedBy SuppressionXpathFilter this, @GuardedBy Object p0)
      cannot override method in @GuardedBy Object
      @GuardedBy boolean equals(@GuardSatisfied Object this, @GuardSatisfied Object p0)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/filters/SuppressionXpathFilter.java</fileName>
    <specifier>override.receiver</specifier>
    <message>Incompatible receiver type</message>
    <lineContent>public int hashCode() {</lineContent>
    <details>
      found   : @GuardedBy SuppressionXpathFilter
      required: @GuardSatisfied Object
      Consequence: method in @GuardedBy SuppressionXpathFilter
      @GuardedBy int hashCode(@GuardedBy SuppressionXpathFilter this)
      cannot override method in @GuardedBy Object
      @GuardedBy int hashCode(@GuardSatisfied Object this)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/filters/XpathFilterElement.java</fileName>
    <specifier>method.guarantee.violated</specifier>
    <message>@Pure method equals calls method getPatternSafely with a weaker @ReleasesNoLocks side effect guarantee</message>
    <lineContent>&amp;&amp; Objects.equals(getPatternSafely(checkRegexp),</lineContent>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/filters/XpathFilterElement.java</fileName>
    <specifier>method.guarantee.violated</specifier>
    <message>@Pure method equals calls method getPatternSafely with a weaker @ReleasesNoLocks side effect guarantee</message>
    <lineContent>&amp;&amp; Objects.equals(getPatternSafely(messageRegexp),</lineContent>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/filters/XpathFilterElement.java</fileName>
    <specifier>method.guarantee.violated</specifier>
    <message>@Pure method equals calls method getPatternSafely with a weaker @ReleasesNoLocks side effect guarantee</message>
    <lineContent>getPatternSafely(xpathFilter.checkRegexp))</lineContent>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/filters/XpathFilterElement.java</fileName>
    <specifier>method.guarantee.violated</specifier>
    <message>@Pure method equals calls method getPatternSafely with a weaker @ReleasesNoLocks side effect guarantee</message>
    <lineContent>getPatternSafely(xpathFilter.fileRegexp))</lineContent>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/filters/XpathFilterElement.java</fileName>
    <specifier>method.guarantee.violated</specifier>
    <message>@Pure method equals calls method getPatternSafely with a weaker @ReleasesNoLocks side effect guarantee</message>
    <lineContent>getPatternSafely(xpathFilter.messageRegexp))</lineContent>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/filters/XpathFilterElement.java</fileName>
    <specifier>method.guarantee.violated</specifier>
    <message>@Pure method equals calls method getPatternSafely with a weaker @ReleasesNoLocks side effect guarantee</message>
    <lineContent>return Objects.equals(getPatternSafely(fileRegexp),</lineContent>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/filters/XpathFilterElement.java</fileName>
    <specifier>method.guarantee.violated</specifier>
    <message>@Pure method hashCode calls method getPatternSafely with a weaker @ReleasesNoLocks side effect guarantee</message>
    <lineContent>getPatternSafely(messageRegexp), moduleId, xpathQuery);</lineContent>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/filters/XpathFilterElement.java</fileName>
    <specifier>method.guarantee.violated</specifier>
    <message>@Pure method hashCode calls method getPatternSafely with a weaker @ReleasesNoLocks side effect guarantee</message>
    <lineContent>return Objects.hash(getPatternSafely(fileRegexp), getPatternSafely(checkRegexp),</lineContent>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/filters/XpathFilterElement.java</fileName>
    <specifier>method.guarantee.violated</specifier>
    <message>@Pure method hashCode calls method getPatternSafely with a weaker @ReleasesNoLocks side effect guarantee</message>
    <lineContent>return Objects.hash(getPatternSafely(fileRegexp), getPatternSafely(checkRegexp),</lineContent>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/filters/XpathFilterElement.java</fileName>
    <specifier>override.param</specifier>
    <message>Incompatible parameter type for other.</message>
    <lineContent>public boolean equals(Object other) {</lineContent>
    <details>
      found   : @GuardedBy Object
      required: @GuardSatisfied Object
      Consequence: method in @GuardedBy XpathFilterElement
      @GuardedBy boolean equals(@GuardedBy XpathFilterElement this, @GuardedBy Object p0)
      cannot override method in @GuardedBy Object
      @GuardedBy boolean equals(@GuardSatisfied Object this, @GuardSatisfied Object p0)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/filters/XpathFilterElement.java</fileName>
    <specifier>override.receiver</specifier>
    <message>Incompatible receiver type</message>
    <lineContent>public boolean equals(Object other) {</lineContent>
    <details>
      found   : @GuardedBy XpathFilterElement
      required: @GuardSatisfied Object
      Consequence: method in @GuardedBy XpathFilterElement
      @GuardedBy boolean equals(@GuardedBy XpathFilterElement this, @GuardedBy Object p0)
      cannot override method in @GuardedBy Object
      @GuardedBy boolean equals(@GuardSatisfied Object this, @GuardSatisfied Object p0)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/filters/XpathFilterElement.java</fileName>
    <specifier>override.receiver</specifier>
    <message>Incompatible receiver type</message>
    <lineContent>public int hashCode() {</lineContent>
    <details>
      found   : @GuardedBy XpathFilterElement
      required: @GuardSatisfied Object
      Consequence: method in @GuardedBy XpathFilterElement
      @GuardedBy int hashCode(@GuardedBy XpathFilterElement this)
      cannot override method in @GuardedBy Object
      @GuardedBy int hashCode(@GuardSatisfied Object this)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/gui/MainFrameModel.java</fileName>
    <specifier>override.receiver</specifier>
    <message>Incompatible receiver type</message>
    <lineContent>public String toString() {</lineContent>
    <details>
      found   : @GuardedBy ParseMode
      required: @GuardSatisfied Object
      Consequence: method in @GuardedBy ParseMode
      @GuardedBy String toString(@GuardedBy ParseMode this)
      cannot override method in @GuardedBy Object
      @GuardedBy String toString(@GuardSatisfied Object this)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/site/XdocsTemplateSink.java</fileName>
    <specifier>override.receiver</specifier>
    <message>Incompatible receiver type</message>
    <lineContent>public void println() {</lineContent>
    <details>
      found   : @GuardedBy CustomPrintWriter
      required: @GuardSatisfied PrintWriter
      Consequence: method in @GuardedBy CustomPrintWriter
      void println(@GuardedBy CustomPrintWriter this)
      cannot override method in @GuardedBy PrintWriter
      void println(@GuardSatisfied PrintWriter this)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/site/XdocsTemplateSink.java</fileName>
    <specifier>override.receiver</specifier>
    <message>Incompatible receiver type</message>
    <lineContent>public void write(String line, int offset, int length) {</lineContent>
    <details>
      found   : @GuardedBy CustomPrintWriter
      required: @GuardSatisfied PrintWriter
      Consequence: method in @GuardedBy CustomPrintWriter
      void write(@GuardedBy CustomPrintWriter this, @GuardedBy String p0, @GuardedBy int p1, @GuardedBy int p2)
      cannot override method in @GuardedBy PrintWriter
      void write(@GuardSatisfied PrintWriter this, @GuardedBy String p0, @GuardedBy int p1, @GuardedBy int p2)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/utils/TokenUtil.java</fileName>
    <specifier>methodref.receiver</specifier>
    <message>Incompatible receiver type</message>
    <lineContent>.collect(BitSet::new, BitSet::set, BitSet::or);</lineContent>
    <details>
      found   : @GuardSatisfied BitSet
      required: @GuardedBy BitSet
      Consequence: method in @GuardedBy BitSet
      void or(@GuardSatisfied BitSet this, @GuardedBy BitSet p0)
      is not a valid method reference for method in @GuardedBy BiConsumer&lt;@GuardedBy BitSet, @GuardedBy BitSet&gt;
      void accept(@GuardedBy BiConsumer&lt;@GuardedBy BitSet, @GuardedBy BitSet&gt; this, @GuardedBy BitSet p0, @GuardedBy BitSet p1)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/utils/TokenUtil.java</fileName>
    <specifier>methodref.receiver</specifier>
    <message>Incompatible receiver type</message>
    <lineContent>.collect(BitSet::new, BitSet::set, BitSet::or);</lineContent>
    <details>
      found   : @GuardSatisfied BitSet
      required: @GuardedBy BitSet
      Consequence: method in @GuardedBy BitSet
      void or(@GuardSatisfied BitSet this, @GuardedBy BitSet p0)
      is not a valid method reference for method in @GuardedBy BiConsumer&lt;@GuardedBy BitSet, @GuardedBy BitSet&gt;
      void accept(@GuardedBy BiConsumer&lt;@GuardedBy BitSet, @GuardedBy BitSet&gt; this, @GuardedBy BitSet p0, @GuardedBy BitSet p1)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/utils/TokenUtil.java</fileName>
    <specifier>methodref.receiver</specifier>
    <message>Incompatible receiver type</message>
    <lineContent>.collect(BitSet::new, BitSet::set, BitSet::or);</lineContent>
    <details>
      found   : @GuardSatisfied BitSet
      required: @GuardedBy BitSet
      Consequence: method in @GuardedBy BitSet
      void set(@GuardSatisfied BitSet this, @GuardedBy int p0)
      is not a valid method reference for method in @GuardedBy ObjIntConsumer&lt;@GuardedBy BitSet&gt;
      void accept(@GuardedBy ObjIntConsumer&lt;@GuardedBy BitSet&gt; this, @GuardedBy BitSet p0, @GuardedBy int p1)
    </details>
  </checkerFrameworkError>

  <checkerFrameworkError unstable="false">
    <fileName>src/main/java/com/puppycrawl/tools/checkstyle/utils/TokenUtil.java</fileName>
    <specifier>methodref.receiver</specifier>
    <message>Incompatible receiver type</message>
    <lineContent>.collect(BitSet::new, BitSet::set, BitSet::or);</lineContent>
    <details>
      found   : @GuardSatisfied BitSet
      required: @GuardedBy BitSet
      Consequence: method in @GuardedBy BitSet
      void set(@GuardSatisfied BitSet this, @GuardedBy int p0)
      is not a valid method reference for method in @GuardedBy ObjIntConsumer&lt;@GuardedBy BitSet&gt;
      void accept(@GuardedBy ObjIntConsumer&lt;@GuardedBy BitSet&gt; this, @GuardedBy BitSet p0, @GuardedBy int p1)
    </details>
  </checkerFrameworkError>
</suppressedErrors>