Hello. Since NullAway handles @Contract annotation by name - maybe we can add it to annotations artifact?

I wanna use it in pair with JSpecify

Thanks