Fix outdated annotation syntax

Noticed by @sadmac7000 [on IRC](http://transcripts.jboss.org/channel/irc.freenode.org/%23ceylonlang/2014/%23ceylonlang.2014-11-21.log.html#t2014-11-21T22:54:42).