Ein Eclipse-Projekt kann normalerweise durch Klicken mit der rechten Maustaste auf den Projektordner und "Umbenennen ..." umbenannt werden. Jedes Mal, wenn ich dies versuche, wird die Meldung "Ressource 'Projekt' ist nicht mit dem Dateisystem synchron" angezeigt. Ich erhalte diese Meldung auch dann, wenn ich mit F5 eine Aktualisierung durchführe. Was könnte der Fehler hier sein? Gibt es andere Möglichkeiten als Export und Import, um das Projekt umzubenennen?