javax.tools.Diagnostic.Kind

is imported to:

.   threadchecker