我想设置我的eclipse indigo IDE进行android开发。我使用Windows 7 32位。但是当我想更新我的eclipse或尝试使用android插件时，我遇到了以下问题。
'合同软件网站'遇到了问题
在“联系软件站点”期间发生内部错误。 组织/ sat4j / MINISAT /型芯/ AssertingClauseGenerator'
安装android插件时我得到了
组织/ sat4j / MINISAT /型芯/ AssertingClauseGenerator
java.lang.noClassDefFounderror
我怎样摆脱这个？