eclipse で MySQL からテーブルをエンティティ化する過程で、ユーザライブラリに入れる jar ファイルが分からない

Question

eclipse で MySQL からテーブルをそのまま java (spring) のエンティティ化をしようとしています。
そこで JPA Entities from Tables とすると JPA project を要求されるので、JPA project を作ります。
その際、この画面に行き着きます。

User Library が少なくとも必要と言われます。JPAの実装ライブラリの jar ファイルを指定すればよいようなのですが、具体的なところが分かりません。

また、Platform は ExlipseLink を使用しているものをよく見ますが、新規ソフトウェアをインストールしてもできません。

###試したこと：
「ライブラリをダウンロード」で得られる zip ファイルを指定しても empty zip file とエラーが出ます。

###環境：
STS4