pushing some eclipse properties