Index: dev-tools/scripts/smokeTestRelease.py
===================================================================
--- dev-tools/scripts/smokeTestRelease.py	(revision 1390176)
+++ dev-tools/scripts/smokeTestRelease.py	(working copy)
@@ -168,10 +168,6 @@
 def checkAllLuceneJARs(root):
   print('    make sure Lucene JARs don\'t have javax.* or java.* classes...')  
   for root, dirs, files in os.walk(root):
-    if root.endswith('demo/lib'):
-      # Lucene demo intentionally ships servlet-api JAR:
-      continue
-    
     for file in files:
       if file.lower().endswith('.jar'):
         fullPath = '%s/%s' % (root, file)
Index: lucene/build.xml
===================================================================
--- lucene/build.xml	(revision 1390176)
+++ lucene/build.xml	(working copy)
@@ -37,7 +37,7 @@
                         **/lib/*.jar,
                         licenses/**,
                         */docs/,**/README*"
-              excludes="build/**,site/**,tools/**"
+              excludes="build/**,site/**,tools/**,**/lib/*servlet-api*.jar"
   />