servlet in dev deps