Make extension script a little more friendly. It will fail and print an error when...
[java-idp.git] / lib / servlet-2.3.jar
2003-02-26 wassaRev servlet API so that we get servlet filter support.