I did this to avoid some ugliness imposed by the eclipse formatter :).  Done.