Eclipseを http://www.eclipse.org/downloads/ からインストール。for Java EE Developersをダウンロードして展開。そのまま/Applicationにコピって、ダブルクリックすると、「JRE6をいれてくれよー」とだだをこねられる。断固拒否。
http://hmu29.hatenablog.com/entry/2013/11/03/083540
を参考に、/Library/Java/JavaVirtualMachines/jdk1.7.0_45.jdk/Contents/Info.plistを編集する