http://developer.android.com/preview/index.html を入れて遊んでいて、jdk 1.7にしろよって書かれていたので、それの設定をした後、古いsdkのプロジェクトを開こうとすると予期せぬエラーで落ちるようになった。なので、デフォルトの設定をjdk 1.6のパスに直した。
# 7, 8は以下になって /Library/Java/JavaVirtualMachines/jdk1.7.0_71.jdk/Contents/Home # 6はここにある /System/Library/Java/JavaVirtualMachines/1.6.0.jdk/Contents/Home
というのをスタックオーバーフローで見かけたがそのURLを見失ってしまった。
まあ、/usr/libexec/java_home
でもわかるらしいのでそれを使うと良さそう。
$ /usr/libexec/java_home -V Matching Java Virtual Machines (3): 1.7.0_71, x86_64: "Java SE 7" /Library/Java/JavaVirtualMachines/jdk1.7.0_71.jdk/Contents/Home 1.6.0_65-b14-462, x86_64: "Java SE 6" /System/Library/Java/JavaVirtualMachines/1.6.0.jdk/Contents/Home 1.6.0_65-b14-462, i386: "Java SE 6" /System/Library/Java/JavaVirtualMachines/1.6.0.jdk/Contents/Home /Library/Java/JavaVirtualMachines/jdk1.7.0_71.jdk/Contents/Home
追記
パスを変更するだけではダメで、jdk 1.7があるとダメっぽかった。めんどかったので、mvした。
sudo mv /Library/Java/JavaVirtualMachines /Library/Java/_JavaVirtualMachines