OpenJMLを使用する必要があり、Java JDK7が必要です。 http://formalmethods.insttech.washington.edu/software/openjml.htmlJava JDK7 on Mac OS X 10.7.3
インストール後、EclipseプロジェクトでJavaSE7が見つかったため、エラーは表示されなくなりました。
しかし、私はターミナルでjava -versionを入力したときにまだある...
java version "1.6.0_29"
が...そこに表示しました。シェルで1.7を使用するにはどうすればよいですか？
新しいJDKがにインストールされます：開発者向けプレビューで
私のMac上で/Library/Java/JavaVirtualMachines
はあなたが実行することができますインストール：
/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 Preferencesアプリケーション（スポットライトを使用してそれを見つける）
また、/usr/libexec/java_home --version 1.7を使用すると、要求されたJDKの正しいJAVA_HOME値を見つけることができます。
eclipseは、環境変数で設定されているjavaを使用します。マックでそこにいますが、これらの値
を入力する必要がありますどのようにわからない
Uservariables（作成したり、既存の編集）：
変数|値
JAVA_HOME | Pathto\Java\jdk1.7.0_03
Systemvariables：
Path |（編集+追加、以前のエントリを削除してはいけません！） Pathto\Java\jdk1.7.0_03\bin
まず、JDK1.6 必要性のルートpermisstionをアンインストールしてください。
CD /システム/ライブラリ/ Javaの/ JavaVirtualMachines
のrm -rf 1.6.0.jdk/
第二に、オラクルWebサイトからダウンロードhttp://download.oracle.com/otn-pub/java/jdk/7u65-b17/jdk-7u65-macosx-x64.dmg
第3に、dmgを抽出し、インストールアイコンをダブルクリックし、「次へ」を押して終了します。