reverted comment style broken by eclipse formatter