remove one obsolete field
diff --git a/contrib/org.eclipse.objectteams.jdt.nullity/src/org/eclipse/objectteams/internal/jdt/nullity/CompilerAdaptation.java b/contrib/org.eclipse.objectteams.jdt.nullity/src/org/eclipse/objectteams/internal/jdt/nullity/CompilerAdaptation.java
index 382b506..42ec5eb 100644
--- a/contrib/org.eclipse.objectteams.jdt.nullity/src/org/eclipse/objectteams/internal/jdt/nullity/CompilerAdaptation.java
+++ b/contrib/org.eclipse.objectteams.jdt.nullity/src/org/eclipse/objectteams/internal/jdt/nullity/CompilerAdaptation.java
@@ -1085,13 +1085,12 @@
protected char[] nullableName = null;
protected char[] nonNullName = null;
- protected char[] nullableByDefaultName = null;
protected char[] nonNullByDefaultName = null;
protected TypeBinding nullnessDefaultAnnotation;
void setupNullAnnotationType(ReferenceBinding type) <- after void addType(ReferenceBinding type)
- when (this.nullableName != null || this.nonNullName != null || this.nullableByDefaultName != null || this.nonNullByDefaultName != null);
+ when (this.nullableName != null || this.nonNullName != null || this.nonNullByDefaultName != null);
void setupNullAnnotationType(ReferenceBinding type) {
int id = 0;
@@ -1582,6 +1581,7 @@
// ================================== Compiler Options: ==================================
+ // DONE
@SuppressWarnings("rawtypes")
protected class CompilerOptions implements org.eclipse.objectteams.internal.jdt.nullity.NullCompilerOptions playedBy CompilerOptions
{