diff --git a/.gitignore b/.gitignore
index 0bde9e063f3..86e8631ac3e 100644
--- a/.gitignore
+++ b/.gitignore
@@ -13,9 +13,9 @@ src/goto-analyzer/taint_driver_scripts/.idea/*
 /*.idea
 /*.includes
 # Eclipse
-src/.cproject
-src/.project
-src/.settings/*
+.cproject
+.project
+.settings
 # Visual Studio
 Debug/*
 Release/*
diff --git a/COMPILING.md b/COMPILING.md
index 2c03df0836a..c23a3b5fdeb 100644
--- a/COMPILING.md
+++ b/COMPILING.md
@@ -286,6 +286,13 @@ To work with Eclipse, do the following:
 5. Click "Finish"
 6. Select Project -> Build All
 
+You can also select the repository's root folder as the "Existing Code 
+Location". This has the advantage that you can build both CBMC and JBMC without
+the need to integrate JBMC as a separate project. Be aware that you need to 
+change the build location (Select project in Eclipse -> Properties -> C/C++ 
+Build) to one of the src directories.
+
+
 # OPTIONS AND VARIABLES
 
 ## Compiling with CUDD