diff --git a/examples/BasicServletDemo/web/WEB-INF/ReadMe b/examples/BasicServletDemo/web/WEB-INF/ReadMe
new file mode 100644
index 0000000000000000000000000000000000000000..3c34ac42ea332f1118f37579c6a47dba3a42e601
--- /dev/null
+++ b/examples/BasicServletDemo/web/WEB-INF/ReadMe
@@ -0,0 +1,2 @@
+Directory empty, save this file. It must be here in order for Git to upload the
+parent directory (WEB-INF).