编辑 JRE 定义
可以修改 JRE 定义的所有设置(它的 JRE 类型除外)。
-
从菜单栏中,选择窗口 > 首选项。
-
在左窗格中,展开 Java 类别,并选择已安装的 JRE。
-
选择想要编辑的 JRE 定义,并单击编辑...。“编辑 JRE”页面打开。
-
在 JRE 名称字段中,编辑 JRE 定义的名称。相同类型的所有 JRE 都必须具有唯一名称。
-
在 JRE 主目录字段中,编辑或者单击浏览... 来选择指向 JRE 安装的根目录的路径(通常该目录包含 JRE 的 bin 和 lib 目录)。会自动选择此位置以确保它是有效路径。
-
在 Javadoc URL 字段中,编辑或者单击浏览... 来选择 URL 位置。Javadoc 导出向导将该位置用作缺省值,“打开外部 Javadoc”操作也使用该位置。
-
如果想要对此 JRE 使用缺省库和源文件,则选择使用缺省系统库复选框。否则,清除该复选框,并按需要进行定制。也可以对所引用的 jar 连接源。
-
完成时单击确定。
Java 开发工具(JDT)

添加新的 JRE 定义
删除 JRE 定义
覆盖 JRE 定义的缺省系统库
使用 JRE

已安装的 JRE 首选项页面