diff --git a/docs/hacking-guide/en/formatting.md b/docs/hacking-guide/en/formatting.md
index 976d853e72..daec275848 100644
--- a/docs/hacking-guide/en/formatting.md
+++ b/docs/hacking-guide/en/formatting.md
@@ -4,7 +4,7 @@ Eclipse code formatting and (basic) project configuration files can be found at
 copy them _after importing all your projects_:
 
     for settings_dir in `find . -type d -name .settings`; do
-       \cp -v etc/ide-settings/org.eclipse.jdt.* $settings_dir
+       \cp -v etc/ide-settings/eclipse/org.eclipse.jdt.* $settings_dir
     done
 
 Do not use the [maven-eclipse-plugin](https://maven.apache.org/plugins/maven-eclipse-plugin/) to copy the files as it 
diff --git a/etc/ide-settings/org.eclipse.jdt.core.prefs b/etc/ide-settings/eclipse/org.eclipse.jdt.core.prefs
similarity index 100%
rename from etc/ide-settings/org.eclipse.jdt.core.prefs
rename to etc/ide-settings/eclipse/org.eclipse.jdt.core.prefs
diff --git a/etc/ide-settings/org.eclipse.jdt.ui.prefs b/etc/ide-settings/eclipse/org.eclipse.jdt.ui.prefs
similarity index 100%
rename from etc/ide-settings/org.eclipse.jdt.ui.prefs
rename to etc/ide-settings/eclipse/org.eclipse.jdt.ui.prefs