Спасибо за ответ!

После удаления и последовательной установки
eclipse-phpeclipse
eclipse-subclipse
eclipse-shelled

Ни разу не воспроизвелось.