offer two proposals also in case of unknown nullness / missing annotation
diff --git a/contrib/org.eclipse.objectteams.jdt.nullity/src/org/eclipse/objectteams/internal/jdt/nullity/quickfix/RewriteOperations.java b/contrib/org.eclipse.objectteams.jdt.nullity/src/org/eclipse/objectteams/internal/jdt/nullity/quickfix/RewriteOperations.java
index b4c1272..031dbc7 100644
--- a/contrib/org.eclipse.objectteams.jdt.nullity/src/org/eclipse/objectteams/internal/jdt/nullity/quickfix/RewriteOperations.java
+++ b/contrib/org.eclipse.objectteams.jdt.nullity/src/org/eclipse/objectteams/internal/jdt/nullity/quickfix/RewriteOperations.java
@@ -297,6 +297,7 @@
switch (problem.getProblemId()) {
case ParameterLackingNonNullAnnotation:
+ case IllegalDefinitionToNonNullParameter:
case IProblem.NonNullLocalVariableComparisonYieldsFalse:
case IProblem.RedundantNullCheckOnNonNullLocalVariable:
// statements suggest changing parameters:
@@ -317,6 +318,7 @@
case IllegalReturnNullityRedefinition:
case RequiredNonNullButProvidedNull:
case RequiredNonNullButProvidedPotentialNull:
+ case RequiredNonNullButProvidedUnknown:
message = Messages.format(FixMessages.QuickFixes_declare_method_return_nullness, annotationNameLabel);
result = new ReturnAnnotationRewriteOperation(compilationUnit,
declaration,