[JSR308] Postfix notation for type annotations

[Michael Ernst]

A postfix syntax for type annotations was brought up three times on the
mailing list, and once more when I asked for comments.  Hearing no support
for it, I have moved it to the "Resolved issues" of the JSR 308 webpage:

  http://pag.csail.mit.edu/jsr308/#Resolved_issues

Notice that just above this is a list of open issues that are under
discussion, or that will soon be brought up for discussion:

  http://pag.csail.mit.edu/jsr308/#Open_issues

Feel free to suggest other issues for discussion.

                    -Mike