Agghhh, curse you, eclipse formatter!