ユーザーライブラリの設定が保存されるファイルは、
.metadata\.plugins\org.eclipse.core.runtime\.settings\org.eclipse.jdt.core.prefs
ここにあった。