我试图安装Liferay IDE（来自教程：http://www.liferay.com/documentation/liferay-portal/6.0/development/-/ai/installation）
在检查Liferay IDE复选框并按下一步后出现问题。出现错误弹出窗口告诉我：“org/sat4j/minisat/core/AssertingClauseGenerator java.lang.NoClassDefFoundError”。
问题是什么？Liferay IDE - 无法安装到Eclipse
该类由Eclipse p2框架使用，它与安装新插件有关。看来在你的eclipse安装中，更新管理器无法找到sat4j类的东西是畸形的。 Liferay IDE的要求是使用适用于Java EE开发人员的Eclipse IDE，可以在此页面上找到它：Eclipse Downloads它是顶级链接。
如果您使用该软件包，但仍然看到错误，请尝试重新启动eclipse并在eclipse.ini中为其指定-clean命令行标志，该标志可能会清除NoClassDefFoundError。
最后的选择是向下有Liferay的IDE预装日食，你会发现在这个页面：它已经包括Liferay的SDK Liferay IDE Downloads Page
您可以通过eclipse marketplace安装Liferay IDE。 （Help - > Eclipse Marketplace）
谢谢你的答复。我尝试从市场上安装，仍然是相同的弹出窗口。 –
可能是你的Eclipse安装有点怪怪的..也许你会得到一个Helios的新副本，并再次尝试... – koeckc
下载Eclipse从HERE。只选择日蚀使用（我使用朱诺）
这将解决您的问题:)
嗨，我已经使用Eclipse IDE的Java EE开发人员，所以情况并非如此。我已经在eclipse.ini文件中加入了“-clean”命令，重启IDE，同样的问题。 –
你的插件文件夹中是否有sat4j软件包？ org.sat4j.core_2.3.0.v20110329.jar，org.sat4j.pb_2.3.0.v20110329.jar，org.slf4j.api_1.6.1.v20100831-0715.jar – gamerson
听起来像是某些东西在您的安装中已损坏。您可以尝试liferay-ide下载页面上的预打包捆绑包（使用组合框下拉菜单），并尝试作为回退。 – gamerson