Use correct {@literal @} javadoc syntax in annotated example