minor source/formatter eclipse bug