import java.io.*;import java.text.*;import java.util.*;import javax.servlet.*;import javax.servlet.http.*;import gate.*;import gate.creole.*;import gate.util.*;import gate.corpora.RepositioningInfo;public class MyServlet extends GenericServlet { private static boolean gateInited = false; public void init() throws ServletException, IOException { if(!gateInited) { ServletContext ctx = getServletContext(); // use /path/to/your/webapp/WEB-INF as gate.home File gateHome = new File(ctx.getRealPath("/WEB-INF")); Gate.setGateHome(gateHome); // thus webapp/WEB-INF/plugins is the plugins directory, and // webapp/WEB-INF/gate.xml is the site config file. // Use webapp/WEB-INF/user-gate.xml as the user config file, to avoid // confusion with your own user config. Gate.setUserConfigFile(new File(gateHome, "user-gate.xml")); Gate.init(); // load plugins, for example... Gate.getCreoleRegister().registerDirectories( ctx.getResource("/WEB-INF/plugins/ANNIE")); gateInited = true; } } }------------------------------Gives the error javac MyServlet.javaMyServlet.java:27: MyServlet is not abstract and does not override abstract method service(javax.servlet.ServletRequest,javax.servlet.ServletResponse) in javax.servlet.GenericServletpublic class MyServlet extends GenericServlet { ^MyServlet.java:30: init() in MyServlet cannot override init() in javax.servlet.GenericServlet; overridden method does not throw java.io.IOException public void init() throws ServletException, IOException { ^2 errors