// Annotations
requires static transitive org.eclipse.jdt.annotation;
- // FIXME: yeah, because ... we use this in public classes, so tools need
- // to resolve it. Why exactly?!
- requires static transitive com.github.spotbugs.annotations;
+ requires static com.github.spotbugs.annotations;
requires static org.checkerframework.checker.qual;
}