Eclipse存储用户库的位置/方式?

我正在Eclipse中开发Java项目。 我创建了一个名为“Spring”的用户库,并将所有Spring jar添加到其中。 我的问题是,Eclipse在哪里存储这个库? 它是否将所有jar子复制到磁盘上某个新目录中? 或者它是否在某些配置文件中维护哪些jar子属于用户库?

Eclipse不复制用户库的任何内容,它只是一个具有机器特定绝对路径的容器。 用户库定义存储在工作区中; 特别是在.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.jdt.core.prefs

用户库背后的想法是它是一个抽象,位于项目之外的JAR集合之上; 每个工作区必须为自己声明内容,因为它们是Eclipse项目的外部。

您可以从创建它们的工作区导出它们,然后将它们导入到您想要它们的工作区中。

旧:窗口 – >首选项 – > Java – >用户库 – >导入/导出

新的(不确定引入了这个更改的eclipse版本):Window – > preferences – > Java – > Build Path – > User Libraries – > import / export

如果这是你想要做的(这是我被引导到这个网页的方式)

感谢@Jorn Vernee对新版本的修正