Simplify servlet3 detection