回答編集履歴

  その設定をeclipseが独自ファイル.classpathに持っていて、ビルド時に必要なAPI・ライブラリを包括した上でうまいことやってくれています。

  .classpathを書き換えただけだとjarそのものは消えてないので、eclipseのインストールされたディレクトリ内をGrepすれば出てきます。

 

  あとは所定の手順でプロジェクトのクラスパス設定を行う。

 

  ※こういうのが面倒であればMavenなりGradleなりのパッケージ管理ツールを入れておくと楽にはなりますが、そこはチームの方針にもよると思うので。