Fix eclipse properties