これらの手順に従ってDrJavaをコンパイルしています。
しかし、実行するant jar
と、次のエラーが発生します。
/Users/arthur/dj/drjava/build.xml:1270: Can't find rt.jar in the Java 7 home: ${env.JAVA7_HOME}
rt.jar
私はそれがにあることを知ってい/Library/Java/JavaVirtualMachines/jdk1.7.0_07.jdk/Contents/Home/jre/lib
ます。
どうすれば修正できますか?