added eclipse properties