possible bug in org/w3c/jigsaw/filters/UseProxyFilter.java

Hi,

here's a possible bug in org/w3c/jigsaw/filters/UseProxyFilter.java:

00086:          // failed, restrict access
00087:          Reply r = request.makeReply(HTTP.USE_PROXY);
00088:          if (r != null) {
00089:              HtmlGenerator g = new HtmlGenerator("Use Proxy");
00090:              g.append("You should use the following proxy to access" +
00091:                       " this resource: " + getString(ATTR_PROXY, "localhost"));
00092:              r.setStream(g);
00093:          }
00094:          r.setLocation(proxy_url);

If appears that this code would crash on line 94 if request.makeReply() 
returned null.  If request.makeReply() cannot ever return null, however,
then the test on line 88 is meaningless.

Could you confirm/deny this?

Thanks!

	- Godmar