=== Message

* "xxx" is marked "@yyy" but is set to null.
* Parameter n to this call is marked "@yyy" but null could be passed.
* "xxx" is marked "@yyy" but is not initialized in this constructor
* This method's return value is marked "@yyy" but null is returned.