Looks like this annotation is pretty specific to Eclipse, correct? (http://archive.eclipse.org/eclipse/downloads/drops/R-3.6-201006080911/eclipse-news-part2.html#JavaFormatter)

If we don't have a good reason to add that, please let's get rid off these IDE specifics