servlet specification note