Hat leider nicht geklappt. Habe alles mozillaartige entfernt und dann nochmals versucht, den Eclipse-Port zu installieren. Als das nicht funktioniert hat, habe ich zuerst Mozilla aus den Ports gebaut, und dann nochmals versucht Eclipse zu installieren, mit demselben Ergebnis.
Kann es sein, dass...