http://www.eclipse.org/org/press-release/20120627_junorelease.phpEclipse の 4.2 が出ていたのでバージョンアップしてみました。(何かあると困るので 3.7 も使えるようにしておく形で) バージョンアップ前に使っていた WorkSpace をコピー プラグイン等…