fix doc with servlet annotations