eclipseを起動して、 Help > Software Updates > Find and InstallからPyDevをインストールすることにした。アップデートサイトとして、 http://pydev.sourceforge.net/updates/ を加える。 後は表示に従って、関係のありそうなものをすべてインストールした…