Я опоздал на этот вопрос, но мне удалось выяснить ответ.Хотя у вас может быть Java 1.7 JRE, вам нужно установить 1.7 JDK.Убедитесь, что Eclipse знает об обновлении в настройках> Установленные JRE.Нажмите на поиск, если вы видите только Java SE 6, и вы установили Java SE 7. Убедитесь, что установлен флажок 7.Вы можете вдвойне убедиться, что он использует 1.7, выбрав «About Eclipse»> «Сведения об установке» (кнопка)> «Конфигурация» (вкладка), и найдите строку после -vm.
Мне также пришлось возиться с папкой .metadata и файлами в ~ / workspace, чтобы панель обозревателя пакетов Pydev в Eclipse отображалась правильно.