with-Eclipse flag