Summary of changes: 52a7ad1... - Resolved rhbz#791045 - Added patch from Omaid Majid <omaj (*) 5cb802a... Use new tomcat-servlet-api a994b3a... Merge branch 'master' into f17 (*) This commit already existed in another branch; no separate mail sent