Errorprone with cleanthat not working

[hatahet]

It seems that error prone is included in the list of mutators for cleanthat:

(sourceCodeVersion=21) singleIds=[ArithmethicAssignment, ... ComparisonWithNaN, ..., ErrorProne, ErrorProneMutators, ... jSparrow]

However, if I add the following

spotless {
	java {
		removeUnusedImports()

		cleanthat()
			.sourceCompatibility("21")
			.addMutator("ComparisonWithNaN")
	}
}

or even

spotless {
	java {
		removeUnusedImports()

		cleanthat()
			.sourceCompatibility("21")
			.addMutator("ErrorProne")
			.addMutator("ComparisonWithNaN")
	}
}

to my gradle build file, then run ./gradlew spotlessCheck, I don't get any errors for the following piece of code

import static java.lang.Double.NaN;

class ShortSet {
    public static void main (String[] args) {
        Set<Short> s = new HashSet<>();
        for (short i = 0; i < 100; i++) {
            s.add(i);
            s.remove(i - 1);
        }
        double d = 0.0;
        if (true)
            new Exception();
        System.out.println(d == NaN);
    }
}

However, if I install Errorprone manually through its plugin:

plugins {
	id("net.ltgt.errorprone") version "3.1.0"
}
dependencies {
	errorprone("com.google.errorprone:error_prone_core:2.25.0")
}

and run ./gradlew check, the code is correctly flagged.

./gradlew check

> Task :compileJava FAILED
[redacted]: warning: [ModifiedButNotUsed] A collection or proto builder was created, but its values were never accessed.
        Set<Short> s = new HashSet<>();
                       ^
    (see https://errorprone.info/bugpattern/ModifiedButNotUsed)
  Did you mean to remove this line?
[redacted]: error: [CollectionIncompatibleType] Argument 'i - 1' should not be passed to this method; its type int is not compatible with its collection's type argument Short
            s.remove(i - 1);
                    ^
    (see https://errorprone.info/bugpattern/CollectionIncompatibleType)
[redacted]: error: [DeadException] Exception created but not thrown
            new Exception();
            ^
    (see https://errorprone.info/bugpattern/DeadException)
  Did you mean 'throw new Exception();'?
[redacted]: error: [EqualsNaN] == NaN always returns false; use the isNaN methods instead
        System.out.println(d == NaN);
                             ^
    (see https://errorprone.info/bugpattern/EqualsNaN)
  Did you mean 'System.out.println(Double.isNaN(d));'?
3 errors
1 warning

What am I missing?

[nedtwigg]

Probably it's about issues that errorprone can fix vs those it can't. Spotless is focused on autofixable issues, it might be that cleanthat hasn't integrated the parts of errorprone which errorprone itself can't fix automatically.