I'm only barely following this thread, but...
Rather than adding @NotNull all over the place until everything works,
wouldn't it be better in most situations to change the code to tolerate
null/missing elements?
I'm sure it's easier to just sprinkle in @NotNull until it works, but
is that really the right solution in all cases?