Home/ Questions/Q 7698283
In Process

The Archive Base Latest Questions

Editorial Team
  • 0
Asked: 2026-05-31T22:12:21+00:00

I’ve to use OpenJML and that requires Java JDK7. I’ve installed JDK7 so far

  • 0

I’ve to use OpenJML and that requires Java JDK7. I’ve installed JDK7 so far following the instructions from this link: http://formalmethods.insttech.washington.edu/software/openjml.html

After the installation my Eclipse project didn’t show any errors any more because it found JavaSE7 now.

But when I type java -version in Terminal there is still …

java version "1.6.0_29"

… displayed there. What can I do to use 1.7 in the shell as well?

Share

Leave an answer

You must login to add an answer.

Need An Account,

1 Answer

  1. Editorial Team

    The new JDK will be installed into:

    /Library/Java/JavaVirtualMachines

    On my Mac with the developer preview installed you can run:

    /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)

    You can select the current system JVM via the Java Preferences application (use spotlight to find it).

    Alternatively you can use /usr/libexec/java_home --version 1.7 to find the correct JAVA_HOME value for the requested JDK.

    • 0