NOTE: This site is archived content and is, for the most part, no longer being actively updated. Information on a permanent new home for JMLUnitNG will be available soon; the most recent version released before this site was archived will continue to be available here.

OpenJML on Mac OS X

Using OpenJML on Mac OS X requires the use of a recent build of OpenJDK because, being based on the OpenJDK compiler, it is incompatible with Apple’s Java virtual machine. The OpenJDK Mac OS X Port has made it much easier to build OpenJDK for Mac OS X, but it’s still somewhat cumbersome, so we are providing a build for use on Intel Macs. This build is in Apple’s “JDK Bundle” format, and can be dropped into /Library/Java/JavaVirtualMachines on Mac OS X 10.7 or Mac OS X 10.6.x with Java for Mac OS X 10.6 Update 3 or higher (this folder will not exist until you install the Apple Java Developer Package, available at, or until you create it yourself); once installed there, invoking /usr/libexec/java_home -v1.7+ will provide the path for JAVA_HOME for the 1.7 VM (this is useful in shell scripts, etc.). These builds do not run on Mac OS X 10.5, or on PowerPC machines, though builds that support both may be coming in the future.
This build is provided as-is, and there is no guarantee that it will work on your particular Mac OS X system.