如何在JDeveloper10.1.3中修改Extention J2SE

    由于第一次启动JDeveloper时，电脑里没有安装jdk1.5，只安装了jdk1.6，而以后每次启动JDeveloper都会提示JDeveloper10.1.3只保证有效支持jdk1.5，现在使用jdk1.6来运行它，难保不会出现什么问题。见到这样的情况，我马上下了jdk1.5安装。但是却不知道在如何将jdk1.5设置为默认的jdk，在经过思考和尝试后，终于把这个问题给解决的。由于没有在IDE中找到配置的方法，后来是通过手工修改配置文件来解决的。如果哪位兄弟知道在IDE中找到配置的方法，还请留下方法，先谢谢了！以下就是步骤：

 

1.在J2SE Definitions新增jdk1.5

1.1在Tools菜单中选择Manage Libraries，弹出Manage Libraries对话框

1.2选择J2SE Definitions标签

1.3点击左下角的“New”按钮，弹出Create J2SE对话框

1.4在J2SE Executable输入框中，输入jdk1.5的java.exe文件的路径（可以通过Browse按钮激活选择对话框选择），如：C:/Program Files/Java/jdk1.5.0_18/bin/java.exe

1.5点击“确定”按钮关闭Create J2SE对话框

1.6点击“确定”按钮关闭Manage Libraries对话框

1.7关闭JDeveloper

 

2.手工修改默认jdk为jdk1.5

2.1用记事本等文本编辑工具打开以下文件：JDeveloper_Install/jdev/bin/jdev.conf

2.2找到以下类似文本：SetJavaHome C:/Program Files/Java/jdk1.6.x_xx

2.3将jdk1.6.x_xx（具体看所安装的路径）修改为jdk1.5的目录名，如：jdk1.5.x_xx（具体看所安装的路径）

2.4保存文件，关闭编辑器

 

至此完成设置，可以开启JDeveloper在Manage Libraries对话框的J2SE Definitions标签中的树控件中看到Extention节点下的默认JDK已改变