import javax.servlet.*;
import javax.servlet.http.*;

public class PruebaCompilacionServlet extends HttpServlet{}