続続:JDev vs J2SE 5.0

最近、J2SE 5.0上でJDeveloperを使ってます。気分的な問題かもしれないけど、なんとなく軽い気がする。J2SEの互換性が結構いいのか、動かしていてそんなに問題に遭遇しないんですが、次の場合には問題になることがわかりました。

• メニュー「ツール=>埋込みOC4Jサーバーの設定」でライブラリを選択

こうすると、エラーになります。
今のところ、それ以外では問題に出会ってません。