Use of defining servlet name in @WebServlet

Question

With defining Servlet through @WebServlet annotation, is not defining internal name of servlet redundant or does it still have ant significance ? E