eclipse-projectfacets-javav1.7不可用

我有一个使用JavaV1.7的Eclipse项目——我将该项目克隆到Mac上，现在有一个方面的问题。jre7已安装并包含在生成路径中。我已经清理并重新启动了Eclipse，但是JavaV1.7在ProjectFacets选项卡的版本列表中不可用。请告知

一些Eclipse插件和函数需要完整的JDK（而不是JRE）。另外，Java7是否显示在Mac上的Java首选项面板中？是否在全局首选项中可用？另外，您是否尝试过手动搜索jdk以便添加它？是的，是的。奇怪的是，只有一个项目没有在“项目方面”选项卡中列出它。所有其他项目都列出了它。