Im Dateimenü gibt es keine Option zum Umbenennen eines Arbeitsbereichs. Wird empfohlen, Eclipse zu schließen, den Ordner umzubenennen und erneut zu öffnen? Ich mache mir Sorgen über einige mögliche baumelnde Referenzen in Konfigurationsdateien, die meinen Arbeitsbereich / meine Projekte...