ユーザライブラリとは、複数のjarをまとめて名前をつけたもの。3.0から使える機能。
GUIから設定すると、jarまたはzipだけしか追加できない。だけど、この設定は .metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.jdt.core.prefs というファイルに格納されていて、直接書き換えると、ディレクトリも含めることができる。ユーザライブラリに対する後付けの設定、Tomcatの common/classes みたいな位置づけにできる。プロパティファイルとか。
おっと、順番を指定できないから、後付けってのはダメかな。直接書き換えれば順番も指定できるかな。
こんなニッチなメモ残して、あとで役に立つのだろうか……
というかね、これこそバッドノウハウですよ。