@NotNull
bytecode analysis: no inference of "true|false->..." contracts
IDEA-130678 The help topic for the New Project Wizard (first page) is available. Its Id is Project_Category_and_Options