NonNullByDefault: provide exact syntax for turning it off#4512

dilyanpalauzov wants to merge 2 commits intoeclipse-jdt:mastereclipse-jdt/eclipse.jdt.core:masterfrom

dilyanpalauzov:nonnullbydefault_value_falsedilyanpalauzov/eclipse.jdt.core:nonnullbydefault_value_falseCopy head branch name to clipboard