diff --git a/plugins/org.eclipse.objectteams.jdt.nullity/src/org/eclipse/objectteams/internal/jdt/nullity/CompilerAdaptation.java b/plugins/org.eclipse.objectteams.jdt.nullity/src/org/eclipse/objectteams/internal/jdt/nullity/CompilerAdaptation.java
index ef3aa4e..032c777 100644
--- a/plugins/org.eclipse.objectteams.jdt.nullity/src/org/eclipse/objectteams/internal/jdt/nullity/CompilerAdaptation.java
+++ b/plugins/org.eclipse.objectteams.jdt.nullity/src/org/eclipse/objectteams/internal/jdt/nullity/CompilerAdaptation.java
@@ -148,12 +148,12 @@
 			// compare actual null-status against parameter annotations of the called method:
 			MethodBinding methodBinding = getBinding();
 			Expression[] arguments = getArguments();
-			if (arguments != null) {
+			if (arguments != null && methodBinding.parameterNonNullness != null) {
 				int length = arguments.length;
 				for (int i = 0; i < length; i++) {
 					int nullStatus = arguments[i].nullStatus(flowInfo); // slight loss of precision: should also use the null info from the receiver.
 					if (   nullStatus != FlowInfo.NON_NULL 
-						&& methodBinding.parameterNonNullness != null)
+						&& methodBinding.parameterNonNullness[i] != null)
 					{
 						if (methodBinding.parameterNonNullness[i].booleanValue()) // if @NonNull is required
 						{