Summary of changes: b15825e... use servlet api 3.1 (*) 9ba037c... use servlet api 3.1 (*) (*) This commit already existed in another branch; no separate mail sent