diff --git a/Documentation/developer-guide.md b/Documentation/developer-guide.md
index 2d4af0f..59a36f9 100644
--- a/Documentation/developer-guide.md
+++ b/Documentation/developer-guide.md
@@ -39,7 +39,7 @@
 If you'd like to use Eclipse to edit Gitiles, first generate a project file:
 
 ```
-./bucklets/tools/eclipse.py --src
+./bucklets/tools/eclipse.py --src --exclude=servlet-api_2_5
 ```
 
 Import the project in Eclipse: