Eclipse continues to insist on the formatting