> I can imagine us wanting to support annotations on every sematically > meaningful nonterminal in the language, but I'm not sure a result along > those lines is likely to be acceptable by the JCP. Or worse, it might be acceptable to the JCP, but not to the user base. That actually seems a more likely outcome, for better or worse.