Ah do you only want to verify that the code respec...

# announcements

[karelpeeters]

Ah do you only want to verify that the code respects the @NotNull annotation? I thought you wanted to actually generate null checks.