File Download Servlet: Treat an ill-formed URL as a 404