We still need the dep on servlet-api after all