Mac OS X上的Java JDK7 10.7.3

Question

我必须使用OpenJML，并且需要Java JDK7。根据此链接的说明，我已经安装了JDK7：http://formalmethods.insttech.washington.edu/software/openjml.html

安装后，我的Eclipse项目不再显示任何错误，因为它现在找到了JavaSE7。

但是，当我在终端类型java -version还有...

java version "1.6.0_29" 

...那里显示。我能做些什么来在shell中使用1.7？

Answer 1

新的JDK将被安装到：

/Library/Java/JavaVirtualMachines

我的Mac上与开发者预览安装，你可以运行：

/Library/Java/JavaVirtualMachines/JDK\ 1.7.0\ Developer\ Preview.jdk/Contents/Home/bin/java -version 

java version "1.7.0_04-ea" 
Java(TM) SE Runtime Environment (build 1.7.0_04-ea-b225) 
Java HotSpot(TM) 64-Bit Server VM (build 23.0-b09, mixed mode) 

您可以通过选择当前系统JVM Java首选项应用程序（使用聚光灯来查找它）。

或者，您可以使用/usr/libexec/java_home --version 1.7为所请求的JDK找到正确的JAVA_HOME值。

Answer 2

日食会使用在你的环境变量设置了Java。

不知道怎么去那里在Mac，但你应该输入这些值

Uservariables（创建或编辑现有的）：

变| Value

JAVA_HOME | Pathto\Java\jdk1.7.0_03

Systemvariables（编辑+添加，不要删除以前的作品！）：

Path | Pathto\Java\jdk1.7.0_03\bin

Answer 3

首先，请卸载JDK1.6 需要root permisstion：
CD /系统/图书馆/的Java/JavaVirtualMachines
室射频1.6.0.jdk/

其次，从甲骨文网站http://download.oracle.com/otn-pub/java/jdk/7u65-b17/jdk-7u65-macosx-x64.dmg

三，提取物伤害，双击下载安装图标，按“下一步”直到完成。