Mac 10.7.3上的Java JDK7

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)

您可以通过Java Preferences应用程序选择当前的系统JVM (使用spotlight查找)。

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

Answer 2

eclipse使用在环境变量中配置的java。

我不确定如何在mac中到达那里，但您应该输入这些值

Uservariables (创建或编辑现有的)：

变量|值

JAVA_HOME | Pathto\Java\jdk1.7.0_03

系统变量(edit+ add，不要删除以前的条目！)：

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