55b50d5 Fix build against tomcat API and re-generate BRs

Authored and Committed by mbooth 6 years ago
    Fix build against tomcat API and re-generate BRs
    
        
file modified
+9 -6