Fix: servlet has to be declared as provided