Formatted according to eclipse-formatter.xml