This table summarizes what known open issues are, both in the specification and the RI, and points to the discussions on the mailing lists.
Receiver parameter name checks should not be based on Strings, but on semantics:http://mail.openjdk.java.net/pipermail/type-annotations-dev/2013-April/000796.html
The EG needs to finalize the spec on what receiver parameter names are legal:http://mail.openjdk.java.net/pipermail/type-annotations-spec-experts/2013-April/000103.html
Provide nicer integration of receiver parameters:http://mail.openjdk.java.net/pipermail/type-annotations-dev/2013-April/000797.html
Ensure recent discussion is implemented:http://mail.openjdk.java.net/pipermail/type-annotations-spec-experts/2013-April/000113.html
A production needs an update in the spec:http://mail.openjdk.java.net/pipermail/type-annotations-spec-experts/2013-April/000121.html