#73 Address what to do about the case of getNamedDispatcher()

	modified:   copyright-exclude
	modified:   src/main/java/javax/servlet/http/HttpServletRequest.java

Author: Ed Burns

copyright-exclude

@@ -1,6 +1,7 @@
 copyright-exclude
 LICENSE
 README.md
+CONTRIBUTING.md
 src/main/javadoc/doc-files/expert-draft-bg-blank.graffle
 src/main/javadoc/doc-files/expert-draft-bg-blank.png
 src/main/javadoc/doc-files/expert-draft-bg-non-blank.graffle

src/main/java/javax/servlet/http/HttpServletRequest.java

@@ -276,6 +276,10 @@ public interface HttpServletRequest extends ServletRequest {
      * javax.servlet.RequestDispatcher#INCLUDE_MAPPING} and {@link
      * javax.servlet.AsyncContext#ASYNC_MAPPING} for additional request
      * attributes related to {@code HttpServletMapping}.</p>
+     *
+     * <p>If the {@code Servlet} corresponding to this request was
+     * obtained using {@link javax.servlet.ServletContext#getNamedDispatcher}, this
+     * method must return {@code null}.</p>
      * 
      * <p>The returned object is immutable.  Servlet 4.0 compliant
      * implementations must override this method.</p>