Several issues regarding initialization order
+ new tests re compile order (had issues requesting package-info.java and annotations too early)
  + fixed by using an UnresolvedReferenceBinding when initializing type/package annotations
  + also make initialization of type annotation and annotation of its package more independent
    to better serve various call scenarios
  + perform more analysis even if a method has no parameters
Improved reporting and quickfixes:
+ avoid reporting issues inside dead code (would be imprecise anyway)
+ added a test re Bug 354554 - [null] conditional with redundant condition yields weak error message
+ new IProblem ParameterLackingNullableAnnotation (same parameterized message, though)
+ support quickfixes for a few more IProblems, but for ParameterLackingXYZ don't propose to change the super method
+ fixed which annotation to add (depending on modifyOverridden)

diff --git a/contrib/org.eclipse.objectteams.jdt.nullity/src/org/eclipse/objectteams/internal/jdt/nullity/problem_messages.properties b/contrib/org.eclipse.objectteams.jdt.nullity/src/org/eclipse/objectteams/internal/jdt/nullity/problem_messages.properties
index 83d86e2..4871e6c 100644
--- a/contrib/org.eclipse.objectteams.jdt.nullity/src/org/eclipse/objectteams/internal/jdt/nullity/problem_messages.properties
+++ b/contrib/org.eclipse.objectteams.jdt.nullity/src/org/eclipse/objectteams/internal/jdt/nullity/problem_messages.properties
@@ -19,5 +19,6 @@
 915 = Illegal redefinition of parameter {0}, inherited method from {1} declares this parameter as @{2}
 916 = Illegal redefinition of parameter {0}, inherited method from {1} does not constrain this parameter
 917 = Missing null annotation: inherited method from {1} declares this parameter as @{2}
-918 = Potential null pointer access: The method {0} may return null
-919 = Redundant null check: The method {0} cannot return null
+918 = Missing null annotation: inherited method from {1} declares this parameter as @{2}
+919 = Potential null pointer access: The method {0} may return null
+920 = Redundant null check: The method {0} cannot return null