added eclipse formatting