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

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

不确定如何到达mac但你应该输入这些值

Uservariables（创建或编辑现有）：

变量|值

JAVA_HOME | Pathto\Java\jdk1.7.0_03

Systemvariables（编辑+添加，不删除以前的条目！）：

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

Answer 2

新的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为请求的JDK找到正确的JAVA_HOME值。

Answer 3

首先，请卸载JDK1.6 需要root权限：
cd / System / Library / Java / JavaVirtualMachines
rm -rf 1.6.0.jdk / 的

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

第三步，提取dmg，双击安装图标，然后按下＆＃39;直到完成。

Mac OS X 10.7.3上的Java JDK7

3 个答案: