Review recent documentation and default servlet changes

- Relocate and fix typos in interface-based @RequestMapping tip (SPR-7537)
- Fix typos in constructor-arg 'name' disambiguation section (SPR-7443)
- Polish whitespace in DefaultServletHttpRequestHandler (SPR-7553)

org.springframework.web.servlet/src/main/java/org/springframework/web/servlet/resource/DefaultServletHttpRequestHandler.java

@@ -51,16 +51,16 @@ public class DefaultServletHttpRequestHandler implements HttpRequestHandler, Ser
 
 	/** Default Servlet name used by Tomcat, Jetty, JBoss, and GlassFish */
 	private static final String COMMON_DEFAULT_SERVLET_NAME = "default";
-	
+
 	/** Default Servlet name used by Google App Engine */
 	private static final String GAE_DEFAULT_SERVLET_NAME = "_ah_default";
-	
+
 	/** Default Servlet name used by Resin */
 	private static final String RESIN_DEFAULT_SERVLET_NAME = "resin-file";
-	
+
 	/** Default Servlet name used by WebLogic */
 	private static final String WEBLOGIC_DEFAULT_SERVLET_NAME = "FileServlet";
-	
+
 	/** Default Servlet name used by WebSphere */
 	private static final String WEBSPHERE_DEFAULT_SERVLET_NAME = "SimpleFileServlet";
 
@@ -104,7 +104,7 @@ public class DefaultServletHttpRequestHandler implements HttpRequestHandler, Ser
 				throw new IllegalStateException("Unable to locate the default servlet for serving static content. " +
 						"Please set the 'defaultServletName' property explicitly.");
 			}
-		}		
+		}
 	}