Fix stubs

java/ql/test/stubs/javafx-web/javax/servlet/AsyncContext.java

@@ -1,31 +0,0 @@
-// Generated automatically from javax.servlet.AsyncContext for testing purposes
-
-package javax.servlet;
-
-import javax.servlet.AsyncListener;
-import javax.servlet.ServletContext;
-import javax.servlet.ServletRequest;
-import javax.servlet.ServletResponse;
-
-public interface AsyncContext
-{
-    <T extends AsyncListener> T createListener(java.lang.Class<T> p0);
-    ServletRequest getRequest();
-    ServletResponse getResponse();
-    boolean hasOriginalRequestAndResponse();
-    long getTimeout();
-    static String ASYNC_CONTEXT_PATH = null;
-    static String ASYNC_MAPPING = null;
-    static String ASYNC_PATH_INFO = null;
-    static String ASYNC_QUERY_STRING = null;
-    static String ASYNC_REQUEST_URI = null;
-    static String ASYNC_SERVLET_PATH = null;
-    void addListener(AsyncListener p0);
-    void addListener(AsyncListener p0, ServletRequest p1, ServletResponse p2);
-    void complete();
-    void dispatch();
-    void dispatch(ServletContext p0, String p1);
-    void dispatch(String p0);
-    void setTimeout(long p0);
-    void start(Runnable p0);
-}

java/ql/test/stubs/javafx-web/javax/servlet/AsyncEvent.java

@@ -1,20 +0,0 @@
-// Generated automatically from javax.servlet.AsyncEvent for testing purposes
-
-package javax.servlet;
-
-import javax.servlet.AsyncContext;
-import javax.servlet.ServletRequest;
-import javax.servlet.ServletResponse;
-
-public class AsyncEvent
-{
-    protected AsyncEvent() {}
-    public AsyncContext getAsyncContext(){ return null; }
-    public AsyncEvent(AsyncContext p0){}
-    public AsyncEvent(AsyncContext p0, ServletRequest p1, ServletResponse p2){}
-    public AsyncEvent(AsyncContext p0, ServletRequest p1, ServletResponse p2, Throwable p3){}
-    public AsyncEvent(AsyncContext p0, Throwable p1){}
-    public ServletRequest getSuppliedRequest(){ return null; }
-    public ServletResponse getSuppliedResponse(){ return null; }
-    public Throwable getThrowable(){ return null; }
-}

java/ql/test/stubs/javafx-web/javax/servlet/AsyncListener.java

@@ -1,14 +0,0 @@
-// Generated automatically from javax.servlet.AsyncListener for testing purposes
-
-package javax.servlet;
-
-import java.util.EventListener;
-import javax.servlet.AsyncEvent;
-
-public interface AsyncListener extends EventListener
-{
-    void onComplete(AsyncEvent p0);
-    void onError(AsyncEvent p0);
-    void onStartAsync(AsyncEvent p0);
-    void onTimeout(AsyncEvent p0);
-}

java/ql/test/stubs/javafx-web/javax/servlet/DispatcherType.java

@@ -1,10 +0,0 @@
-// Generated automatically from javax.servlet.DispatcherType for testing purposes
-
-package javax.servlet;
-
-
-public enum DispatcherType
-{
-    ASYNC, ERROR, FORWARD, INCLUDE, REQUEST;
-    private DispatcherType() {}
-}

java/ql/test/stubs/javafx-web/javax/servlet/Filter.java

@@ -1,15 +0,0 @@
-// Generated automatically from javax.servlet.Filter for testing purposes
-
-package javax.servlet;
-
-import javax.servlet.FilterChain;
-import javax.servlet.FilterConfig;
-import javax.servlet.ServletRequest;
-import javax.servlet.ServletResponse;
-
-public interface Filter
-{
-    default void destroy(){}
-    default void init(FilterConfig p0){}
-    void doFilter(ServletRequest p0, ServletResponse p1, FilterChain p2);
-}

java/ql/test/stubs/javafx-web/javax/servlet/FilterChain.java

@@ -1,11 +0,0 @@
-// Generated automatically from javax.servlet.FilterChain for testing purposes
-
-package javax.servlet;
-
-import javax.servlet.ServletRequest;
-import javax.servlet.ServletResponse;
-
-public interface FilterChain
-{
-    void doFilter(ServletRequest p0, ServletResponse p1);
-}

java/ql/test/stubs/javafx-web/javax/servlet/FilterConfig.java

@@ -1,14 +0,0 @@
-// Generated automatically from javax.servlet.FilterConfig for testing purposes
-
-package javax.servlet;
-
-import java.util.Enumeration;
-import javax.servlet.ServletContext;
-
-public interface FilterConfig
-{
-    Enumeration<String> getInitParameterNames();
-    ServletContext getServletContext();
-    String getFilterName();
-    String getInitParameter(String p0);
-}

java/ql/test/stubs/javafx-web/javax/servlet/FilterRegistration.java

@@ -1,19 +0,0 @@
-// Generated automatically from javax.servlet.FilterRegistration for testing purposes
-
-package javax.servlet;
-
-import java.util.Collection;
-import java.util.EnumSet;
-import javax.servlet.DispatcherType;
-import javax.servlet.Registration;
-
-public interface FilterRegistration extends Registration
-{
-    Collection<String> getServletNameMappings();
-    Collection<String> getUrlPatternMappings();
-    static public interface Dynamic extends FilterRegistration, Registration.Dynamic
-    {
-    }
-    void addMappingForServletNames(EnumSet<DispatcherType> p0, boolean p1, String... p2);
-    void addMappingForUrlPatterns(EnumSet<DispatcherType> p0, boolean p1, String... p2);
-}

java/ql/test/stubs/javafx-web/javax/servlet/GenericServlet.java

@@ -1,28 +0,0 @@
-// Generated automatically from javax.servlet.GenericServlet for testing purposes
-
-package javax.servlet;
-
-import java.io.Serializable;
-import java.util.Enumeration;
-import javax.servlet.Servlet;
-import javax.servlet.ServletConfig;
-import javax.servlet.ServletContext;
-import javax.servlet.ServletRequest;
-import javax.servlet.ServletResponse;
-
-abstract public class GenericServlet implements Serializable, Servlet, ServletConfig
-{
-    public Enumeration<String> getInitParameterNames(){ return null; }
-    public GenericServlet(){}
-    public ServletConfig getServletConfig(){ return null; }
-    public ServletContext getServletContext(){ return null; }
-    public String getInitParameter(String p0){ return null; }
-    public String getServletInfo(){ return null; }
-    public String getServletName(){ return null; }
-    public abstract void service(ServletRequest p0, ServletResponse p1);
-    public void destroy(){}
-    public void init(){}
-    public void init(ServletConfig p0){}
-    public void log(String p0){}
-    public void log(String p0, Throwable p1){}
-}

java/ql/test/stubs/javafx-web/javax/servlet/HttpConstraintElement.java

@@ -1,16 +0,0 @@
-// Generated automatically from javax.servlet.HttpConstraintElement for testing purposes
-
-package javax.servlet;
-
-import javax.servlet.annotation.ServletSecurity;
-
-public class HttpConstraintElement
-{
-    public HttpConstraintElement(){}
-    public HttpConstraintElement(ServletSecurity.EmptyRoleSemantic p0){}
-    public HttpConstraintElement(ServletSecurity.EmptyRoleSemantic p0, ServletSecurity.TransportGuarantee p1, String... p2){}
-    public HttpConstraintElement(ServletSecurity.TransportGuarantee p0, String... p1){}
-    public ServletSecurity.EmptyRoleSemantic getEmptyRoleSemantic(){ return null; }
-    public ServletSecurity.TransportGuarantee getTransportGuarantee(){ return null; }
-    public String[] getRolesAllowed(){ return null; }
-}

java/ql/test/stubs/javafx-web/javax/servlet/HttpMethodConstraintElement.java

@@ -1,13 +0,0 @@
-// Generated automatically from javax.servlet.HttpMethodConstraintElement for testing purposes
-
-package javax.servlet;
-
-import javax.servlet.HttpConstraintElement;
-
-public class HttpMethodConstraintElement extends HttpConstraintElement
-{
-    protected HttpMethodConstraintElement() {}
-    public HttpMethodConstraintElement(String p0){}
-    public HttpMethodConstraintElement(String p0, HttpConstraintElement p1){}
-    public String getMethodName(){ return null; }
-}

java/ql/test/stubs/javafx-web/javax/servlet/MultipartConfigElement.java

@@ -1,17 +0,0 @@
-// Generated automatically from javax.servlet.MultipartConfigElement for testing purposes
-
-package javax.servlet;
-
-import javax.servlet.annotation.MultipartConfig;
-
-public class MultipartConfigElement
-{
-    protected MultipartConfigElement() {}
-    public MultipartConfigElement(MultipartConfig p0){}
-    public MultipartConfigElement(String p0){}
-    public MultipartConfigElement(String p0, long p1, long p2, int p3){}
-    public String getLocation(){ return null; }
-    public int getFileSizeThreshold(){ return 0; }
-    public long getMaxFileSize(){ return 0; }
-    public long getMaxRequestSize(){ return 0; }
-}

java/ql/test/stubs/javafx-web/javax/servlet/ReadListener.java

@@ -1,12 +0,0 @@
-// Generated automatically from javax.servlet.ReadListener for testing purposes
-
-package javax.servlet;
-
-import java.util.EventListener;
-
-public interface ReadListener extends EventListener
-{
-    void onAllDataRead();
-    void onDataAvailable();
-    void onError(Throwable p0);
-}

java/ql/test/stubs/javafx-web/javax/servlet/Registration.java

@@ -1,20 +0,0 @@
-// Generated automatically from javax.servlet.Registration for testing purposes
-
-package javax.servlet;
-
-import java.util.Map;
-import java.util.Set;
-
-public interface Registration
-{
-    Map<String, String> getInitParameters();
-    Set<String> setInitParameters(Map<String, String> p0);
-    String getClassName();
-    String getInitParameter(String p0);
-    String getName();
-    boolean setInitParameter(String p0, String p1);
-    static public interface Dynamic extends Registration
-    {
-        void setAsyncSupported(boolean p0);
-    }
-}

java/ql/test/stubs/javafx-web/javax/servlet/RequestDispatcher.java

@@ -1,30 +0,0 @@
-// Generated automatically from javax.servlet.RequestDispatcher for testing purposes
-
-package javax.servlet;
-
-import javax.servlet.ServletRequest;
-import javax.servlet.ServletResponse;
-
-public interface RequestDispatcher
-{
-    static String ERROR_EXCEPTION = null;
-    static String ERROR_EXCEPTION_TYPE = null;
-    static String ERROR_MESSAGE = null;
-    static String ERROR_REQUEST_URI = null;
-    static String ERROR_SERVLET_NAME = null;
-    static String ERROR_STATUS_CODE = null;
-    static String FORWARD_CONTEXT_PATH = null;
-    static String FORWARD_MAPPING = null;
-    static String FORWARD_PATH_INFO = null;
-    static String FORWARD_QUERY_STRING = null;
-    static String FORWARD_REQUEST_URI = null;
-    static String FORWARD_SERVLET_PATH = null;
-    static String INCLUDE_CONTEXT_PATH = null;
-    static String INCLUDE_MAPPING = null;
-    static String INCLUDE_PATH_INFO = null;
-    static String INCLUDE_QUERY_STRING = null;
-    static String INCLUDE_REQUEST_URI = null;
-    static String INCLUDE_SERVLET_PATH = null;
-    void forward(ServletRequest p0, ServletResponse p1);
-    void include(ServletRequest p0, ServletResponse p1);
-}

java/ql/test/stubs/javafx-web/javax/servlet/Servlet.java

@@ -1,16 +0,0 @@
-// Generated automatically from javax.servlet.Servlet for testing purposes
-
-package javax.servlet;
-
-import javax.servlet.ServletConfig;
-import javax.servlet.ServletRequest;
-import javax.servlet.ServletResponse;
-
-public interface Servlet
-{
-    ServletConfig getServletConfig();
-    String getServletInfo();
-    void destroy();
-    void init(ServletConfig p0);
-    void service(ServletRequest p0, ServletResponse p1);
-}

java/ql/test/stubs/javafx-web/javax/servlet/ServletConfig.java

@@ -1,14 +0,0 @@
-// Generated automatically from javax.servlet.ServletConfig for testing purposes
-
-package javax.servlet;
-
-import java.util.Enumeration;
-import javax.servlet.ServletContext;
-
-public interface ServletConfig
-{
-    Enumeration<String> getInitParameterNames();
-    ServletContext getServletContext();
-    String getInitParameter(String p0);
-    String getServletName();
-}

java/ql/test/stubs/javafx-web/javax/servlet/ServletContext.java

@@ -1,83 +0,0 @@
-// Generated automatically from javax.servlet.ServletContext for testing purposes
-
-package javax.servlet;
-
-import java.io.InputStream;
-import java.net.URL;
-import java.util.Enumeration;
-import java.util.EventListener;
-import java.util.Map;
-import java.util.Set;
-import javax.servlet.Filter;
-import javax.servlet.FilterRegistration;
-import javax.servlet.RequestDispatcher;
-import javax.servlet.Servlet;
-import javax.servlet.ServletRegistration;
-import javax.servlet.SessionCookieConfig;
-import javax.servlet.SessionTrackingMode;
-import javax.servlet.descriptor.JspConfigDescriptor;
-
-public interface ServletContext
-{
-    <T extends EventListener> T createListener(java.lang.Class<T> p0);
-    <T extends EventListener> void addListener(T p0);
-    <T extends Filter> T createFilter(java.lang.Class<T> p0);
-    <T extends Servlet> T createServlet(java.lang.Class<T> p0);
-    ClassLoader getClassLoader();
-    Enumeration<Servlet> getServlets();
-    Enumeration<String> getAttributeNames();
-    Enumeration<String> getInitParameterNames();
-    Enumeration<String> getServletNames();
-    FilterRegistration getFilterRegistration(String p0);
-    FilterRegistration.Dynamic addFilter(String p0, Class<? extends Filter> p1);
-    FilterRegistration.Dynamic addFilter(String p0, Filter p1);
-    FilterRegistration.Dynamic addFilter(String p0, String p1);
-    InputStream getResourceAsStream(String p0);
-    JspConfigDescriptor getJspConfigDescriptor();
-    Map<String, ? extends FilterRegistration> getFilterRegistrations();
-    Map<String, ? extends ServletRegistration> getServletRegistrations();
-    Object getAttribute(String p0);
-    RequestDispatcher getNamedDispatcher(String p0);
-    RequestDispatcher getRequestDispatcher(String p0);
-    Servlet getServlet(String p0);
-    ServletContext getContext(String p0);
-    ServletRegistration getServletRegistration(String p0);
-    ServletRegistration.Dynamic addJspFile(String p0, String p1);
-    ServletRegistration.Dynamic addServlet(String p0, Class<? extends Servlet> p1);
-    ServletRegistration.Dynamic addServlet(String p0, Servlet p1);
-    ServletRegistration.Dynamic addServlet(String p0, String p1);
-    SessionCookieConfig getSessionCookieConfig();
-    Set<SessionTrackingMode> getDefaultSessionTrackingModes();
-    Set<SessionTrackingMode> getEffectiveSessionTrackingModes();
-    Set<String> getResourcePaths(String p0);
-    String getContextPath();
-    String getInitParameter(String p0);
-    String getMimeType(String p0);
-    String getRealPath(String p0);
-    String getRequestCharacterEncoding();
-    String getResponseCharacterEncoding();
-    String getServerInfo();
-    String getServletContextName();
-    String getVirtualServerName();
-    URL getResource(String p0);
-    boolean setInitParameter(String p0, String p1);
-    int getEffectiveMajorVersion();
-    int getEffectiveMinorVersion();
-    int getMajorVersion();
-    int getMinorVersion();
-    int getSessionTimeout();
-    static String ORDERED_LIBS = null;
-    static String TEMPDIR = null;
-    void addListener(Class<? extends EventListener> p0);
-    void addListener(String p0);
-    void declareRoles(String... p0);
-    void log(Exception p0, String p1);
-    void log(String p0);
-    void log(String p0, Throwable p1);
-    void removeAttribute(String p0);
-    void setAttribute(String p0, Object p1);
-    void setRequestCharacterEncoding(String p0);
-    void setResponseCharacterEncoding(String p0);
-    void setSessionTimeout(int p0);
-    void setSessionTrackingModes(Set<SessionTrackingMode> p0);
-}

java/ql/test/stubs/javafx-web/javax/servlet/ServletInputStream.java

@@ -1,15 +0,0 @@
-// Generated automatically from javax.servlet.ServletInputStream for testing purposes
-
-package javax.servlet;
-
-import java.io.InputStream;
-import javax.servlet.ReadListener;
-
-abstract public class ServletInputStream extends InputStream
-{
-    protected ServletInputStream(){}
-    public abstract boolean isFinished();
-    public abstract boolean isReady();
-    public abstract void setReadListener(ReadListener p0);
-    public int readLine(byte[] p0, int p1, int p2){ return 0; }
-}

java/ql/test/stubs/javafx-web/javax/servlet/ServletOutputStream.java

@@ -1,28 +0,0 @@
-// Generated automatically from javax.servlet.ServletOutputStream for testing purposes
-
-package javax.servlet;
-
-import java.io.OutputStream;
-import javax.servlet.WriteListener;
-
-abstract public class ServletOutputStream extends OutputStream
-{
-    protected ServletOutputStream(){}
-    public abstract boolean isReady();
-    public abstract void setWriteListener(WriteListener p0);
-    public void print(String p0){}
-    public void print(boolean p0){}
-    public void print(char p0){}
-    public void print(double p0){}
-    public void print(float p0){}
-    public void print(int p0){}
-    public void print(long p0){}
-    public void println(){}
-    public void println(String p0){}
-    public void println(boolean p0){}
-    public void println(char p0){}
-    public void println(double p0){}
-    public void println(float p0){}
-    public void println(int p0){}
-    public void println(long p0){}
-}

java/ql/test/stubs/javafx-web/javax/servlet/ServletRegistration.java

@@ -1,23 +0,0 @@
-// Generated automatically from javax.servlet.ServletRegistration for testing purposes
-
-package javax.servlet;
-
-import java.util.Collection;
-import java.util.Set;
-import javax.servlet.MultipartConfigElement;
-import javax.servlet.Registration;
-import javax.servlet.ServletSecurityElement;
-
-public interface ServletRegistration extends Registration
-{
-    Collection<String> getMappings();
-    Set<String> addMapping(String... p0);
-    String getRunAsRole();
-    static public interface Dynamic extends Registration.Dynamic, ServletRegistration
-    {
-        Set<String> setServletSecurity(ServletSecurityElement p0);
-        void setLoadOnStartup(int p0);
-        void setMultipartConfig(MultipartConfigElement p0);
-        void setRunAsRole(String p0);
-    }
-}

java/ql/test/stubs/javafx-web/javax/servlet/ServletRequest.java

@@ -1,55 +0,0 @@
-// Generated automatically from javax.servlet.ServletRequest for testing purposes
-
-package javax.servlet;
-
-import java.io.BufferedReader;
-import java.util.Enumeration;
-import java.util.Locale;
-import java.util.Map;
-import javax.servlet.AsyncContext;
-import javax.servlet.DispatcherType;
-import javax.servlet.RequestDispatcher;
-import javax.servlet.ServletContext;
-import javax.servlet.ServletInputStream;
-import javax.servlet.ServletResponse;
-
-public interface ServletRequest
-{
-    AsyncContext getAsyncContext();
-    AsyncContext startAsync();
-    AsyncContext startAsync(ServletRequest p0, ServletResponse p1);
-    BufferedReader getReader();
-    DispatcherType getDispatcherType();
-    Enumeration<Locale> getLocales();
-    Enumeration<String> getAttributeNames();
-    Enumeration<String> getParameterNames();
-    Locale getLocale();
-    Map<String, String[]> getParameterMap();
-    Object getAttribute(String p0);
-    RequestDispatcher getRequestDispatcher(String p0);
-    ServletContext getServletContext();
-    ServletInputStream getInputStream();
-    String getCharacterEncoding();
-    String getContentType();
-    String getLocalAddr();
-    String getLocalName();
-    String getParameter(String p0);
-    String getProtocol();
-    String getRealPath(String p0);
-    String getRemoteAddr();
-    String getRemoteHost();
-    String getScheme();
-    String getServerName();
-    String[] getParameterValues(String p0);
-    boolean isAsyncStarted();
-    boolean isAsyncSupported();
-    boolean isSecure();
-    int getContentLength();
-    int getLocalPort();
-    int getRemotePort();
-    int getServerPort();
-    long getContentLengthLong();
-    void removeAttribute(String p0);
-    void setAttribute(String p0, Object p1);
-    void setCharacterEncoding(String p0);
-}

java/ql/test/stubs/javafx-web/javax/servlet/ServletResponse.java

@@ -1,27 +0,0 @@
-// Generated automatically from javax.servlet.ServletResponse for testing purposes
-
-package javax.servlet;
-
-import java.io.PrintWriter;
-import java.util.Locale;
-import javax.servlet.ServletOutputStream;
-
-public interface ServletResponse
-{
-    Locale getLocale();
-    PrintWriter getWriter();
-    ServletOutputStream getOutputStream();
-    String getCharacterEncoding();
-    String getContentType();
-    boolean isCommitted();
-    int getBufferSize();
-    void flushBuffer();
-    void reset();
-    void resetBuffer();
-    void setBufferSize(int p0);
-    void setCharacterEncoding(String p0);
-    void setContentLength(int p0);
-    void setContentLengthLong(long p0);
-    void setContentType(String p0);
-    void setLocale(Locale p0);
-}

java/ql/test/stubs/javafx-web/javax/servlet/ServletSecurityElement.java

@@ -1,19 +0,0 @@
-// Generated automatically from javax.servlet.ServletSecurityElement for testing purposes
-
-package javax.servlet;
-
-import java.util.Collection;
-import javax.servlet.HttpConstraintElement;
-import javax.servlet.HttpMethodConstraintElement;
-import javax.servlet.annotation.ServletSecurity;
-
-public class ServletSecurityElement extends HttpConstraintElement
-{
-    public Collection<HttpMethodConstraintElement> getHttpMethodConstraints(){ return null; }
-    public Collection<String> getMethodNames(){ return null; }
-    public ServletSecurityElement(){}
-    public ServletSecurityElement(Collection<HttpMethodConstraintElement> p0){}
-    public ServletSecurityElement(HttpConstraintElement p0){}
-    public ServletSecurityElement(HttpConstraintElement p0, Collection<HttpMethodConstraintElement> p1){}
-    public ServletSecurityElement(ServletSecurity p0){}
-}

java/ql/test/stubs/javafx-web/javax/servlet/SessionCookieConfig.java

@@ -1,22 +0,0 @@
-// Generated automatically from javax.servlet.SessionCookieConfig for testing purposes
-
-package javax.servlet;
-
-
-public interface SessionCookieConfig
-{
-    String getComment();
-    String getDomain();
-    String getName();
-    String getPath();
-    boolean isHttpOnly();
-    boolean isSecure();
-    int getMaxAge();
-    void setComment(String p0);
-    void setDomain(String p0);
-    void setHttpOnly(boolean p0);
-    void setMaxAge(int p0);
-    void setName(String p0);
-    void setPath(String p0);
-    void setSecure(boolean p0);
-}

java/ql/test/stubs/javafx-web/javax/servlet/SessionTrackingMode.java

@@ -1,10 +0,0 @@
-// Generated automatically from javax.servlet.SessionTrackingMode for testing purposes
-
-package javax.servlet;
-
-
-public enum SessionTrackingMode
-{
-    COOKIE, SSL, URL;
-    private SessionTrackingMode() {}
-}

java/ql/test/stubs/javafx-web/javax/servlet/WriteListener.java

@@ -1,11 +0,0 @@
-// Generated automatically from javax.servlet.WriteListener for testing purposes
-
-package javax.servlet;
-
-import java.util.EventListener;
-
-public interface WriteListener extends EventListener
-{
-    void onError(Throwable p0);
-    void onWritePossible();
-}

java/ql/test/stubs/javafx-web/javax/servlet/annotation/HttpConstraint.java

@@ -1,18 +0,0 @@
-// Generated automatically from javax.servlet.annotation.HttpConstraint for testing purposes
-
-package javax.servlet.annotation;
-
-import java.lang.annotation.Annotation;
-import java.lang.annotation.Documented;
-import java.lang.annotation.Retention;
-import java.lang.annotation.RetentionPolicy;
-import javax.servlet.annotation.ServletSecurity;
-
-@Documented
-@Retention(value=java.lang.annotation.RetentionPolicy.RUNTIME)
-public @interface HttpConstraint
-{
-    ServletSecurity.EmptyRoleSemantic value();
-    ServletSecurity.TransportGuarantee transportGuarantee();
-    String[] rolesAllowed();
-}

java/ql/test/stubs/javafx-web/javax/servlet/annotation/HttpMethodConstraint.java

@@ -1,19 +0,0 @@
-// Generated automatically from javax.servlet.annotation.HttpMethodConstraint for testing purposes
-
-package javax.servlet.annotation;
-
-import java.lang.annotation.Annotation;
-import java.lang.annotation.Documented;
-import java.lang.annotation.Retention;
-import java.lang.annotation.RetentionPolicy;
-import javax.servlet.annotation.ServletSecurity;
-
-@Documented
-@Retention(value=java.lang.annotation.RetentionPolicy.RUNTIME)
-public @interface HttpMethodConstraint
-{
-    ServletSecurity.EmptyRoleSemantic emptyRoleSemantic();
-    ServletSecurity.TransportGuarantee transportGuarantee();
-    String value();
-    String[] rolesAllowed();
-}

java/ql/test/stubs/javafx-web/javax/servlet/annotation/MultipartConfig.java

@@ -1,19 +0,0 @@
-// Generated automatically from javax.servlet.annotation.MultipartConfig for testing purposes
-
-package javax.servlet.annotation;
-
-import java.lang.annotation.Annotation;
-import java.lang.annotation.ElementType;
-import java.lang.annotation.Retention;
-import java.lang.annotation.RetentionPolicy;
-import java.lang.annotation.Target;
-
-@Retention(value=java.lang.annotation.RetentionPolicy.RUNTIME)
-@Target(value={java.lang.annotation.ElementType.TYPE})
-public @interface MultipartConfig
-{
-    String location();
-    int fileSizeThreshold();
-    long maxFileSize();
-    long maxRequestSize();
-}

java/ql/test/stubs/javafx-web/javax/servlet/annotation/ServletSecurity.java

@@ -1,33 +0,0 @@
-// Generated automatically from javax.servlet.annotation.ServletSecurity for testing purposes
-
-package javax.servlet.annotation;
-
-import java.lang.annotation.Annotation;
-import java.lang.annotation.Documented;
-import java.lang.annotation.ElementType;
-import java.lang.annotation.Inherited;
-import java.lang.annotation.Retention;
-import java.lang.annotation.RetentionPolicy;
-import java.lang.annotation.Target;
-import javax.servlet.annotation.HttpConstraint;
-import javax.servlet.annotation.HttpMethodConstraint;
-
-@Documented
-@Inherited
-@Retention(value=java.lang.annotation.RetentionPolicy.RUNTIME)
-@Target(value={java.lang.annotation.ElementType.TYPE})
-public @interface ServletSecurity
-{
-    HttpConstraint value();
-    HttpMethodConstraint[] httpMethodConstraints();
-    static public enum EmptyRoleSemantic
-    {
-        DENY, PERMIT;
-        private EmptyRoleSemantic() {}
-    }
-    static public enum TransportGuarantee
-    {
-        CONFIDENTIAL, NONE;
-        private TransportGuarantee() {}
-    }
-}

java/ql/test/stubs/javafx-web/javax/servlet/descriptor/JspConfigDescriptor.java

@@ -1,13 +0,0 @@
-// Generated automatically from javax.servlet.descriptor.JspConfigDescriptor for testing purposes
-
-package javax.servlet.descriptor;
-
-import java.util.Collection;
-import javax.servlet.descriptor.JspPropertyGroupDescriptor;
-import javax.servlet.descriptor.TaglibDescriptor;
-
-public interface JspConfigDescriptor
-{
-    Collection<JspPropertyGroupDescriptor> getJspPropertyGroups();
-    Collection<TaglibDescriptor> getTaglibs();
-}

java/ql/test/stubs/javafx-web/javax/servlet/descriptor/JspPropertyGroupDescriptor.java

@@ -1,21 +0,0 @@
-// Generated automatically from javax.servlet.descriptor.JspPropertyGroupDescriptor for testing purposes
-
-package javax.servlet.descriptor;
-
-import java.util.Collection;
-
-public interface JspPropertyGroupDescriptor
-{
-    Collection<String> getIncludeCodas();
-    Collection<String> getIncludePreludes();
-    Collection<String> getUrlPatterns();
-    String getBuffer();
-    String getDefaultContentType();
-    String getDeferredSyntaxAllowedAsLiteral();
-    String getElIgnored();
-    String getErrorOnUndeclaredNamespace();
-    String getIsXml();
-    String getPageEncoding();
-    String getScriptingInvalid();
-    String getTrimDirectiveWhitespaces();
-}

java/ql/test/stubs/javafx-web/javax/servlet/descriptor/TaglibDescriptor.java

@@ -1,10 +0,0 @@
-// Generated automatically from javax.servlet.descriptor.TaglibDescriptor for testing purposes
-
-package javax.servlet.descriptor;
-
-
-public interface TaglibDescriptor
-{
-    String getTaglibLocation();
-    String getTaglibURI();
-}

java/ql/test/stubs/javafx-web/javax/servlet/http/Cookie.java

@@ -1,29 +0,0 @@
-// Generated automatically from javax.servlet.http.Cookie for testing purposes
-
-package javax.servlet.http;
-
-import java.io.Serializable;
-
-public class Cookie implements Cloneable, Serializable
-{
-    protected Cookie() {}
-    public Cookie(String p0, String p1){}
-    public Object clone(){ return null; }
-    public String getComment(){ return null; }
-    public String getDomain(){ return null; }
-    public String getName(){ return null; }
-    public String getPath(){ return null; }
-    public String getValue(){ return null; }
-    public boolean getSecure(){ return false; }
-    public boolean isHttpOnly(){ return false; }
-    public int getMaxAge(){ return 0; }
-    public int getVersion(){ return 0; }
-    public void setComment(String p0){}
-    public void setDomain(String p0){}
-    public void setHttpOnly(boolean p0){}
-    public void setMaxAge(int p0){}
-    public void setPath(String p0){}
-    public void setSecure(boolean p0){}
-    public void setValue(String p0){}
-    public void setVersion(int p0){}
-}

java/ql/test/stubs/javafx-web/javax/servlet/http/HttpServlet.java

@@ -1,24 +0,0 @@
-// Generated automatically from javax.servlet.http.HttpServlet for testing purposes
-
-package javax.servlet.http;
-
-import javax.servlet.GenericServlet;
-import javax.servlet.ServletRequest;
-import javax.servlet.ServletResponse;
-import javax.servlet.http.HttpServletRequest;
-import javax.servlet.http.HttpServletResponse;
-
-abstract public class HttpServlet extends GenericServlet
-{
-    protected long getLastModified(HttpServletRequest p0){ return 0; }
-    protected void doDelete(HttpServletRequest p0, HttpServletResponse p1){}
-    protected void doGet(HttpServletRequest p0, HttpServletResponse p1){}
-    protected void doHead(HttpServletRequest p0, HttpServletResponse p1){}
-    protected void doOptions(HttpServletRequest p0, HttpServletResponse p1){}
-    protected void doPost(HttpServletRequest p0, HttpServletResponse p1){}
-    protected void doPut(HttpServletRequest p0, HttpServletResponse p1){}
-    protected void doTrace(HttpServletRequest p0, HttpServletResponse p1){}
-    protected void service(HttpServletRequest p0, HttpServletResponse p1){}
-    public HttpServlet(){}
-    public void service(ServletRequest p0, ServletResponse p1){}
-}

java/ql/test/stubs/javafx-web/javax/servlet/http/HttpServletMapping.java

@@ -1,13 +0,0 @@
-// Generated automatically from javax.servlet.http.HttpServletMapping for testing purposes
-
-package javax.servlet.http;
-
-import javax.servlet.http.MappingMatch;
-
-public interface HttpServletMapping
-{
-    MappingMatch getMappingMatch();
-    String getMatchValue();
-    String getPattern();
-    String getServletName();
-}

java/ql/test/stubs/javafx-web/javax/servlet/http/HttpServletRequest.java

@@ -1,60 +0,0 @@
-// Generated automatically from javax.servlet.http.HttpServletRequest for testing purposes
-
-package javax.servlet.http;
-
-import java.security.Principal;
-import java.util.Collection;
-import java.util.Enumeration;
-import java.util.Map;
-import javax.servlet.ServletRequest;
-import javax.servlet.http.Cookie;
-import javax.servlet.http.HttpServletMapping;
-import javax.servlet.http.HttpServletResponse;
-import javax.servlet.http.HttpSession;
-import javax.servlet.http.HttpUpgradeHandler;
-import javax.servlet.http.Part;
-import javax.servlet.http.PushBuilder;
-
-public interface HttpServletRequest extends ServletRequest
-{
-    <T extends HttpUpgradeHandler> T upgrade(java.lang.Class<T> p0);
-    Collection<Part> getParts();
-    Cookie[] getCookies();
-    Enumeration<String> getHeaderNames();
-    Enumeration<String> getHeaders(String p0);
-    HttpSession getSession();
-    HttpSession getSession(boolean p0);
-    Part getPart(String p0);
-    Principal getUserPrincipal();
-    String changeSessionId();
-    String getAuthType();
-    String getContextPath();
-    String getHeader(String p0);
-    String getMethod();
-    String getPathInfo();
-    String getPathTranslated();
-    String getQueryString();
-    String getRemoteUser();
-    String getRequestURI();
-    String getRequestedSessionId();
-    String getServletPath();
-    StringBuffer getRequestURL();
-    boolean authenticate(HttpServletResponse p0);
-    boolean isRequestedSessionIdFromCookie();
-    boolean isRequestedSessionIdFromURL();
-    boolean isRequestedSessionIdFromUrl();
-    boolean isRequestedSessionIdValid();
-    boolean isUserInRole(String p0);
-    default HttpServletMapping getHttpServletMapping(){ return null; }
-    default Map<String, String> getTrailerFields(){ return null; }
-    default PushBuilder newPushBuilder(){ return null; }
-    default boolean isTrailerFieldsReady(){ return false; }
-    int getIntHeader(String p0);
-    long getDateHeader(String p0);
-    static String BASIC_AUTH = null;
-    static String CLIENT_CERT_AUTH = null;
-    static String DIGEST_AUTH = null;
-    static String FORM_AUTH = null;
-    void login(String p0, String p1);
-    void logout();
-}

java/ql/test/stubs/javafx-web/javax/servlet/http/HttpServletResponse.java

@@ -1,77 +0,0 @@
-// Generated automatically from javax.servlet.http.HttpServletResponse for testing purposes
-
-package javax.servlet.http;
-
-import java.util.Collection;
-import java.util.Map;
-import java.util.function.Supplier;
-import javax.servlet.ServletResponse;
-import javax.servlet.http.Cookie;
-
-public interface HttpServletResponse extends ServletResponse
-{
-    Collection<String> getHeaderNames();
-    Collection<String> getHeaders(String p0);
-    String encodeRedirectURL(String p0);
-    String encodeRedirectUrl(String p0);
-    String encodeURL(String p0);
-    String encodeUrl(String p0);
-    String getHeader(String p0);
-    boolean containsHeader(String p0);
-    default Supplier<Map<String, String>> getTrailerFields(){ return null; }
-    default void setTrailerFields(Supplier<Map<String, String>> p0){}
-    int getStatus();
-    static int SC_ACCEPTED = 0;
-    static int SC_BAD_GATEWAY = 0;
-    static int SC_BAD_REQUEST = 0;
-    static int SC_CONFLICT = 0;
-    static int SC_CONTINUE = 0;
-    static int SC_CREATED = 0;
-    static int SC_EXPECTATION_FAILED = 0;
-    static int SC_FORBIDDEN = 0;
-    static int SC_FOUND = 0;
-    static int SC_GATEWAY_TIMEOUT = 0;
-    static int SC_GONE = 0;
-    static int SC_HTTP_VERSION_NOT_SUPPORTED = 0;
-    static int SC_INTERNAL_SERVER_ERROR = 0;
-    static int SC_LENGTH_REQUIRED = 0;
-    static int SC_METHOD_NOT_ALLOWED = 0;
-    static int SC_MOVED_PERMANENTLY = 0;
-    static int SC_MOVED_TEMPORARILY = 0;
-    static int SC_MULTIPLE_CHOICES = 0;
-    static int SC_NON_AUTHORITATIVE_INFORMATION = 0;
-    static int SC_NOT_ACCEPTABLE = 0;
-    static int SC_NOT_FOUND = 0;
-    static int SC_NOT_IMPLEMENTED = 0;
-    static int SC_NOT_MODIFIED = 0;
-    static int SC_NO_CONTENT = 0;
-    static int SC_OK = 0;
-    static int SC_PARTIAL_CONTENT = 0;
-    static int SC_PAYMENT_REQUIRED = 0;
-    static int SC_PRECONDITION_FAILED = 0;
-    static int SC_PROXY_AUTHENTICATION_REQUIRED = 0;
-    static int SC_REQUESTED_RANGE_NOT_SATISFIABLE = 0;
-    static int SC_REQUEST_ENTITY_TOO_LARGE = 0;
-    static int SC_REQUEST_TIMEOUT = 0;
-    static int SC_REQUEST_URI_TOO_LONG = 0;
-    static int SC_RESET_CONTENT = 0;
-    static int SC_SEE_OTHER = 0;
-    static int SC_SERVICE_UNAVAILABLE = 0;
-    static int SC_SWITCHING_PROTOCOLS = 0;
-    static int SC_TEMPORARY_REDIRECT = 0;
-    static int SC_UNAUTHORIZED = 0;
-    static int SC_UNSUPPORTED_MEDIA_TYPE = 0;
-    static int SC_USE_PROXY = 0;
-    void addCookie(Cookie p0);
-    void addDateHeader(String p0, long p1);
-    void addHeader(String p0, String p1);
-    void addIntHeader(String p0, int p1);
-    void sendError(int p0);
-    void sendError(int p0, String p1);
-    void sendRedirect(String p0);
-    void setDateHeader(String p0, long p1);
-    void setHeader(String p0, String p1);
-    void setIntHeader(String p0, int p1);
-    void setStatus(int p0);
-    void setStatus(int p0, String p1);
-}

java/ql/test/stubs/javafx-web/javax/servlet/http/HttpSession.java

@@ -1,28 +0,0 @@
-// Generated automatically from javax.servlet.http.HttpSession for testing purposes
-
-package javax.servlet.http;
-
-import java.util.Enumeration;
-import javax.servlet.ServletContext;
-import javax.servlet.http.HttpSessionContext;
-
-public interface HttpSession
-{
-    Enumeration<String> getAttributeNames();
-    HttpSessionContext getSessionContext();
-    Object getAttribute(String p0);
-    Object getValue(String p0);
-    ServletContext getServletContext();
-    String getId();
-    String[] getValueNames();
-    boolean isNew();
-    int getMaxInactiveInterval();
-    long getCreationTime();
-    long getLastAccessedTime();
-    void invalidate();
-    void putValue(String p0, Object p1);
-    void removeAttribute(String p0);
-    void removeValue(String p0);
-    void setAttribute(String p0, Object p1);
-    void setMaxInactiveInterval(int p0);
-}

java/ql/test/stubs/javafx-web/javax/servlet/http/HttpSessionContext.java

@@ -1,12 +0,0 @@
-// Generated automatically from javax.servlet.http.HttpSessionContext for testing purposes
-
-package javax.servlet.http;
-
-import java.util.Enumeration;
-import javax.servlet.http.HttpSession;
-
-public interface HttpSessionContext
-{
-    Enumeration<String> getIds();
-    HttpSession getSession(String p0);
-}

java/ql/test/stubs/javafx-web/javax/servlet/http/HttpUpgradeHandler.java

@@ -1,11 +0,0 @@
-// Generated automatically from javax.servlet.http.HttpUpgradeHandler for testing purposes
-
-package javax.servlet.http;
-
-import javax.servlet.http.WebConnection;
-
-public interface HttpUpgradeHandler
-{
-    void destroy();
-    void init(WebConnection p0);
-}

java/ql/test/stubs/javafx-web/javax/servlet/http/MappingMatch.java

@@ -1,10 +0,0 @@
-// Generated automatically from javax.servlet.http.MappingMatch for testing purposes
-
-package javax.servlet.http;
-
-
-public enum MappingMatch
-{
-    CONTEXT_ROOT, DEFAULT, EXACT, EXTENSION, PATH;
-    private MappingMatch() {}
-}

java/ql/test/stubs/javafx-web/javax/servlet/http/Part.java

@@ -1,20 +0,0 @@
-// Generated automatically from javax.servlet.http.Part for testing purposes
-
-package javax.servlet.http;
-
-import java.io.InputStream;
-import java.util.Collection;
-
-public interface Part
-{
-    Collection<String> getHeaderNames();
-    Collection<String> getHeaders(String p0);
-    InputStream getInputStream();
-    String getContentType();
-    String getHeader(String p0);
-    String getName();
-    String getSubmittedFileName();
-    long getSize();
-    void delete();
-    void write(String p0);
-}

java/ql/test/stubs/javafx-web/javax/servlet/http/PushBuilder.java

@@ -1,23 +0,0 @@
-// Generated automatically from javax.servlet.http.PushBuilder for testing purposes
-
-package javax.servlet.http;
-
-import java.util.Set;
-
-public interface PushBuilder
-{
-    PushBuilder addHeader(String p0, String p1);
-    PushBuilder method(String p0);
-    PushBuilder path(String p0);
-    PushBuilder queryString(String p0);
-    PushBuilder removeHeader(String p0);
-    PushBuilder sessionId(String p0);
-    PushBuilder setHeader(String p0, String p1);
-    Set<String> getHeaderNames();
-    String getHeader(String p0);
-    String getMethod();
-    String getPath();
-    String getQueryString();
-    String getSessionId();
-    void push();
-}

java/ql/test/stubs/javafx-web/javax/servlet/http/WebConnection.java

@@ -1,12 +0,0 @@
-// Generated automatically from javax.servlet.http.WebConnection for testing purposes
-
-package javax.servlet.http;
-
-import javax.servlet.ServletInputStream;
-import javax.servlet.ServletOutputStream;
-
-public interface WebConnection extends AutoCloseable
-{
-    ServletInputStream getInputStream();
-    ServletOutputStream getOutputStream();
-}

java/ql/test/stubs/javax-servlet-2.5/javax/annotation/HttpConstraint.java

@@ -1,18 +0,0 @@
-// Generated automatically from javax.servlet.annotation.HttpConstraint for testing purposes
-
-package javax.servlet.annotation;
-
-import java.lang.annotation.Annotation;
-import java.lang.annotation.Documented;
-import java.lang.annotation.Retention;
-import java.lang.annotation.RetentionPolicy;
-import javax.servlet.annotation.ServletSecurity;
-
-@Documented
-@Retention(value=java.lang.annotation.RetentionPolicy.RUNTIME)
-public @interface HttpConstraint
-{
-    ServletSecurity.EmptyRoleSemantic value();
-    ServletSecurity.TransportGuarantee transportGuarantee();
-    String[] rolesAllowed();
-}

java/ql/test/stubs/javax-servlet-2.5/javax/annotation/HttpMethodConstraint.java

@@ -1,19 +0,0 @@
-// Generated automatically from javax.servlet.annotation.HttpMethodConstraint for testing purposes
-
-package javax.servlet.annotation;
-
-import java.lang.annotation.Annotation;
-import java.lang.annotation.Documented;
-import java.lang.annotation.Retention;
-import java.lang.annotation.RetentionPolicy;
-import javax.servlet.annotation.ServletSecurity;
-
-@Documented
-@Retention(value=java.lang.annotation.RetentionPolicy.RUNTIME)
-public @interface HttpMethodConstraint
-{
-    ServletSecurity.EmptyRoleSemantic emptyRoleSemantic();
-    ServletSecurity.TransportGuarantee transportGuarantee();
-    String value();
-    String[] rolesAllowed();
-}

java/ql/test/stubs/javax-servlet-2.5/javax/annotation/MultipartConfig.java

@@ -1,19 +0,0 @@
-// Generated automatically from javax.servlet.annotation.MultipartConfig for testing purposes
-
-package javax.servlet.annotation;
-
-import java.lang.annotation.Annotation;
-import java.lang.annotation.ElementType;
-import java.lang.annotation.Retention;
-import java.lang.annotation.RetentionPolicy;
-import java.lang.annotation.Target;
-
-@Retention(value=java.lang.annotation.RetentionPolicy.RUNTIME)
-@Target(value={java.lang.annotation.ElementType.TYPE})
-public @interface MultipartConfig
-{
-    String location();
-    int fileSizeThreshold();
-    long maxFileSize();
-    long maxRequestSize();
-}

java/ql/test/stubs/javax-servlet-2.5/javax/annotation/ServletSecurity.java

@@ -1,33 +0,0 @@
-// Generated automatically from javax.servlet.annotation.ServletSecurity for testing purposes
-
-package javax.servlet.annotation;
-
-import java.lang.annotation.Annotation;
-import java.lang.annotation.Documented;
-import java.lang.annotation.ElementType;
-import java.lang.annotation.Inherited;
-import java.lang.annotation.Retention;
-import java.lang.annotation.RetentionPolicy;
-import java.lang.annotation.Target;
-import javax.servlet.annotation.HttpConstraint;
-import javax.servlet.annotation.HttpMethodConstraint;
-
-@Documented
-@Inherited
-@Retention(value=java.lang.annotation.RetentionPolicy.RUNTIME)
-@Target(value={java.lang.annotation.ElementType.TYPE})
-public @interface ServletSecurity
-{
-    HttpConstraint value();
-    HttpMethodConstraint[] httpMethodConstraints();
-    static public enum EmptyRoleSemantic
-    {
-        DENY, PERMIT;
-        private EmptyRoleSemantic() {}
-    }
-    static public enum TransportGuarantee
-    {
-        CONFIDENTIAL, NONE;
-        private TransportGuarantee() {}
-    }
-}

java/ql/test/stubs/javax-servlet-2.5/javax/descriptor/JspConfigDescriptor.java

@@ -1,13 +0,0 @@
-// Generated automatically from javax.servlet.descriptor.JspConfigDescriptor for testing purposes
-
-package javax.servlet.descriptor;
-
-import java.util.Collection;
-import javax.servlet.descriptor.JspPropertyGroupDescriptor;
-import javax.servlet.descriptor.TaglibDescriptor;
-
-public interface JspConfigDescriptor
-{
-    Collection<JspPropertyGroupDescriptor> getJspPropertyGroups();
-    Collection<TaglibDescriptor> getTaglibs();
-}

java/ql/test/stubs/javax-servlet-2.5/javax/descriptor/JspPropertyGroupDescriptor.java

@@ -1,21 +0,0 @@
-// Generated automatically from javax.servlet.descriptor.JspPropertyGroupDescriptor for testing purposes
-
-package javax.servlet.descriptor;
-
-import java.util.Collection;
-
-public interface JspPropertyGroupDescriptor
-{
-    Collection<String> getIncludeCodas();
-    Collection<String> getIncludePreludes();
-    Collection<String> getUrlPatterns();
-    String getBuffer();
-    String getDefaultContentType();
-    String getDeferredSyntaxAllowedAsLiteral();
-    String getElIgnored();
-    String getErrorOnUndeclaredNamespace();
-    String getIsXml();
-    String getPageEncoding();
-    String getScriptingInvalid();
-    String getTrimDirectiveWhitespaces();
-}

java/ql/test/stubs/javax-servlet-2.5/javax/descriptor/TaglibDescriptor.java

@@ -1,10 +0,0 @@
-// Generated automatically from javax.servlet.descriptor.TaglibDescriptor for testing purposes
-
-package javax.servlet.descriptor;
-
-
-public interface TaglibDescriptor
-{
-    String getTaglibLocation();
-    String getTaglibURI();
-}

java/ql/test/stubs/javax-servlet-2.5/javax/http/Cookie.java

@@ -1,29 +0,0 @@
-// Generated automatically from javax.servlet.http.Cookie for testing purposes
-
-package javax.servlet.http;
-
-import java.io.Serializable;
-
-public class Cookie implements Cloneable, Serializable
-{
-    protected Cookie() {}
-    public Cookie(String p0, String p1){}
-    public Object clone(){ return null; }
-    public String getComment(){ return null; }
-    public String getDomain(){ return null; }
-    public String getName(){ return null; }
-    public String getPath(){ return null; }
-    public String getValue(){ return null; }
-    public boolean getSecure(){ return false; }
-    public boolean isHttpOnly(){ return false; }
-    public int getMaxAge(){ return 0; }
-    public int getVersion(){ return 0; }
-    public void setComment(String p0){}
-    public void setDomain(String p0){}
-    public void setHttpOnly(boolean p0){}
-    public void setMaxAge(int p0){}
-    public void setPath(String p0){}
-    public void setSecure(boolean p0){}
-    public void setValue(String p0){}
-    public void setVersion(int p0){}
-}

java/ql/test/stubs/javax-servlet-2.5/javax/http/HttpServlet.java

@@ -1,24 +0,0 @@
-// Generated automatically from javax.servlet.http.HttpServlet for testing purposes
-
-package javax.servlet.http;
-
-import javax.servlet.GenericServlet;
-import javax.servlet.ServletRequest;
-import javax.servlet.ServletResponse;
-import javax.servlet.http.HttpServletRequest;
-import javax.servlet.http.HttpServletResponse;
-
-abstract public class HttpServlet extends GenericServlet
-{
-    protected long getLastModified(HttpServletRequest p0){ return 0; }
-    protected void doDelete(HttpServletRequest p0, HttpServletResponse p1){}
-    protected void doGet(HttpServletRequest p0, HttpServletResponse p1){}
-    protected void doHead(HttpServletRequest p0, HttpServletResponse p1){}
-    protected void doOptions(HttpServletRequest p0, HttpServletResponse p1){}
-    protected void doPost(HttpServletRequest p0, HttpServletResponse p1){}
-    protected void doPut(HttpServletRequest p0, HttpServletResponse p1){}
-    protected void doTrace(HttpServletRequest p0, HttpServletResponse p1){}
-    protected void service(HttpServletRequest p0, HttpServletResponse p1){}
-    public HttpServlet(){}
-    public void service(ServletRequest p0, ServletResponse p1){}
-}

java/ql/test/stubs/javax-servlet-2.5/javax/http/HttpServletMapping.java

@@ -1,13 +0,0 @@
-// Generated automatically from javax.servlet.http.HttpServletMapping for testing purposes
-
-package javax.servlet.http;
-
-import javax.servlet.http.MappingMatch;
-
-public interface HttpServletMapping
-{
-    MappingMatch getMappingMatch();
-    String getMatchValue();
-    String getPattern();
-    String getServletName();
-}

java/ql/test/stubs/javax-servlet-2.5/javax/http/HttpServletRequest.java

@@ -1,60 +0,0 @@
-// Generated automatically from javax.servlet.http.HttpServletRequest for testing purposes
-
-package javax.servlet.http;
-
-import java.security.Principal;
-import java.util.Collection;
-import java.util.Enumeration;
-import java.util.Map;
-import javax.servlet.ServletRequest;
-import javax.servlet.http.Cookie;
-import javax.servlet.http.HttpServletMapping;
-import javax.servlet.http.HttpServletResponse;
-import javax.servlet.http.HttpSession;
-import javax.servlet.http.HttpUpgradeHandler;
-import javax.servlet.http.Part;
-import javax.servlet.http.PushBuilder;
-
-public interface HttpServletRequest extends ServletRequest
-{
-    <T extends HttpUpgradeHandler> T upgrade(java.lang.Class<T> p0);
-    Collection<Part> getParts();
-    Cookie[] getCookies();
-    Enumeration<String> getHeaderNames();
-    Enumeration<String> getHeaders(String p0);
-    HttpSession getSession();
-    HttpSession getSession(boolean p0);
-    Part getPart(String p0);
-    Principal getUserPrincipal();
-    String changeSessionId();
-    String getAuthType();
-    String getContextPath();
-    String getHeader(String p0);
-    String getMethod();
-    String getPathInfo();
-    String getPathTranslated();
-    String getQueryString();
-    String getRemoteUser();
-    String getRequestURI();
-    String getRequestedSessionId();
-    String getServletPath();
-    StringBuffer getRequestURL();
-    boolean authenticate(HttpServletResponse p0);
-    boolean isRequestedSessionIdFromCookie();
-    boolean isRequestedSessionIdFromURL();
-    boolean isRequestedSessionIdFromUrl();
-    boolean isRequestedSessionIdValid();
-    boolean isUserInRole(String p0);
-    default HttpServletMapping getHttpServletMapping(){ return null; }
-    default Map<String, String> getTrailerFields(){ return null; }
-    default PushBuilder newPushBuilder(){ return null; }
-    default boolean isTrailerFieldsReady(){ return false; }
-    int getIntHeader(String p0);
-    long getDateHeader(String p0);
-    static String BASIC_AUTH = null;
-    static String CLIENT_CERT_AUTH = null;
-    static String DIGEST_AUTH = null;
-    static String FORM_AUTH = null;
-    void login(String p0, String p1);
-    void logout();
-}

java/ql/test/stubs/javax-servlet-2.5/javax/http/HttpServletRequestWrapper.java

@@ -1,59 +0,0 @@
-// Generated automatically from javax.servlet.http.HttpServletRequestWrapper for testing purposes
-
-package javax.servlet.http;
-
-import java.security.Principal;
-import java.util.Collection;
-import java.util.Enumeration;
-import java.util.Map;
-import javax.servlet.ServletRequestWrapper;
-import javax.servlet.http.Cookie;
-import javax.servlet.http.HttpServletMapping;
-import javax.servlet.http.HttpServletRequest;
-import javax.servlet.http.HttpServletResponse;
-import javax.servlet.http.HttpSession;
-import javax.servlet.http.HttpUpgradeHandler;
-import javax.servlet.http.Part;
-import javax.servlet.http.PushBuilder;
-
-public class HttpServletRequestWrapper extends ServletRequestWrapper implements HttpServletRequest
-{
-    protected HttpServletRequestWrapper() {}
-    public <T extends HttpUpgradeHandler> T upgrade(java.lang.Class<T> p0){ return null; }
-    public Collection<Part> getParts(){ return null; }
-    public Cookie[] getCookies(){ return null; }
-    public Enumeration<String> getHeaderNames(){ return null; }
-    public Enumeration<String> getHeaders(String p0){ return null; }
-    public HttpServletMapping getHttpServletMapping(){ return null; }
-    public HttpServletRequestWrapper(HttpServletRequest p0){}
-    public HttpSession getSession(){ return null; }
-    public HttpSession getSession(boolean p0){ return null; }
-    public Map<String, String> getTrailerFields(){ return null; }
-    public Part getPart(String p0){ return null; }
-    public Principal getUserPrincipal(){ return null; }
-    public PushBuilder newPushBuilder(){ return null; }
-    public String changeSessionId(){ return null; }
-    public String getAuthType(){ return null; }
-    public String getContextPath(){ return null; }
-    public String getHeader(String p0){ return null; }
-    public String getMethod(){ return null; }
-    public String getPathInfo(){ return null; }
-    public String getPathTranslated(){ return null; }
-    public String getQueryString(){ return null; }
-    public String getRemoteUser(){ return null; }
-    public String getRequestURI(){ return null; }
-    public String getRequestedSessionId(){ return null; }
-    public String getServletPath(){ return null; }
-    public StringBuffer getRequestURL(){ return null; }
-    public boolean authenticate(HttpServletResponse p0){ return false; }
-    public boolean isRequestedSessionIdFromCookie(){ return false; }
-    public boolean isRequestedSessionIdFromURL(){ return false; }
-    public boolean isRequestedSessionIdFromUrl(){ return false; }
-    public boolean isRequestedSessionIdValid(){ return false; }
-    public boolean isTrailerFieldsReady(){ return false; }
-    public boolean isUserInRole(String p0){ return false; }
-    public int getIntHeader(String p0){ return 0; }
-    public long getDateHeader(String p0){ return 0; }
-    public void login(String p0, String p1){}
-    public void logout(){}
-}

java/ql/test/stubs/javax-servlet-2.5/javax/http/HttpServletResponse.java

@@ -1,77 +0,0 @@
-// Generated automatically from javax.servlet.http.HttpServletResponse for testing purposes
-
-package javax.servlet.http;
-
-import java.util.Collection;
-import java.util.Map;
-import java.util.function.Supplier;
-import javax.servlet.ServletResponse;
-import javax.servlet.http.Cookie;
-
-public interface HttpServletResponse extends ServletResponse
-{
-    Collection<String> getHeaderNames();
-    Collection<String> getHeaders(String p0);
-    String encodeRedirectURL(String p0);
-    String encodeRedirectUrl(String p0);
-    String encodeURL(String p0);
-    String encodeUrl(String p0);
-    String getHeader(String p0);
-    boolean containsHeader(String p0);
-    default Supplier<Map<String, String>> getTrailerFields(){ return null; }
-    default void setTrailerFields(Supplier<Map<String, String>> p0){}
-    int getStatus();
-    static int SC_ACCEPTED = 0;
-    static int SC_BAD_GATEWAY = 0;
-    static int SC_BAD_REQUEST = 0;
-    static int SC_CONFLICT = 0;
-    static int SC_CONTINUE = 0;
-    static int SC_CREATED = 0;
-    static int SC_EXPECTATION_FAILED = 0;
-    static int SC_FORBIDDEN = 0;
-    static int SC_FOUND = 0;
-    static int SC_GATEWAY_TIMEOUT = 0;
-    static int SC_GONE = 0;
-    static int SC_HTTP_VERSION_NOT_SUPPORTED = 0;
-    static int SC_INTERNAL_SERVER_ERROR = 0;
-    static int SC_LENGTH_REQUIRED = 0;
-    static int SC_METHOD_NOT_ALLOWED = 0;
-    static int SC_MOVED_PERMANENTLY = 0;
-    static int SC_MOVED_TEMPORARILY = 0;
-    static int SC_MULTIPLE_CHOICES = 0;
-    static int SC_NON_AUTHORITATIVE_INFORMATION = 0;
-    static int SC_NOT_ACCEPTABLE = 0;
-    static int SC_NOT_FOUND = 0;
-    static int SC_NOT_IMPLEMENTED = 0;
-    static int SC_NOT_MODIFIED = 0;
-    static int SC_NO_CONTENT = 0;
-    static int SC_OK = 0;
-    static int SC_PARTIAL_CONTENT = 0;
-    static int SC_PAYMENT_REQUIRED = 0;
-    static int SC_PRECONDITION_FAILED = 0;
-    static int SC_PROXY_AUTHENTICATION_REQUIRED = 0;
-    static int SC_REQUESTED_RANGE_NOT_SATISFIABLE = 0;
-    static int SC_REQUEST_ENTITY_TOO_LARGE = 0;
-    static int SC_REQUEST_TIMEOUT = 0;
-    static int SC_REQUEST_URI_TOO_LONG = 0;
-    static int SC_RESET_CONTENT = 0;
-    static int SC_SEE_OTHER = 0;
-    static int SC_SERVICE_UNAVAILABLE = 0;
-    static int SC_SWITCHING_PROTOCOLS = 0;
-    static int SC_TEMPORARY_REDIRECT = 0;
-    static int SC_UNAUTHORIZED = 0;
-    static int SC_UNSUPPORTED_MEDIA_TYPE = 0;
-    static int SC_USE_PROXY = 0;
-    void addCookie(Cookie p0);
-    void addDateHeader(String p0, long p1);
-    void addHeader(String p0, String p1);
-    void addIntHeader(String p0, int p1);
-    void sendError(int p0);
-    void sendError(int p0, String p1);
-    void sendRedirect(String p0);
-    void setDateHeader(String p0, long p1);
-    void setHeader(String p0, String p1);
-    void setIntHeader(String p0, int p1);
-    void setStatus(int p0);
-    void setStatus(int p0, String p1);
-}

java/ql/test/stubs/javax-servlet-2.5/javax/http/HttpServletResponseWrapper.java

@@ -1,39 +0,0 @@
-// Generated automatically from javax.servlet.http.HttpServletResponseWrapper for testing purposes
-
-package javax.servlet.http;
-
-import java.util.Collection;
-import java.util.Map;
-import java.util.function.Supplier;
-import javax.servlet.ServletResponseWrapper;
-import javax.servlet.http.Cookie;
-import javax.servlet.http.HttpServletResponse;
-
-public class HttpServletResponseWrapper extends ServletResponseWrapper implements HttpServletResponse
-{
-    protected HttpServletResponseWrapper() {}
-    public Collection<String> getHeaderNames(){ return null; }
-    public Collection<String> getHeaders(String p0){ return null; }
-    public HttpServletResponseWrapper(HttpServletResponse p0){}
-    public String encodeRedirectURL(String p0){ return null; }
-    public String encodeRedirectUrl(String p0){ return null; }
-    public String encodeURL(String p0){ return null; }
-    public String encodeUrl(String p0){ return null; }
-    public String getHeader(String p0){ return null; }
-    public Supplier<Map<String, String>> getTrailerFields(){ return null; }
-    public boolean containsHeader(String p0){ return false; }
-    public int getStatus(){ return 0; }
-    public void addCookie(Cookie p0){}
-    public void addDateHeader(String p0, long p1){}
-    public void addHeader(String p0, String p1){}
-    public void addIntHeader(String p0, int p1){}
-    public void sendError(int p0){}
-    public void sendError(int p0, String p1){}
-    public void sendRedirect(String p0){}
-    public void setDateHeader(String p0, long p1){}
-    public void setHeader(String p0, String p1){}
-    public void setIntHeader(String p0, int p1){}
-    public void setStatus(int p0){}
-    public void setStatus(int p0, String p1){}
-    public void setTrailerFields(Supplier<Map<String, String>> p0){}
-}

java/ql/test/stubs/javax-servlet-2.5/javax/http/HttpSession.java

@@ -1,28 +0,0 @@
-// Generated automatically from javax.servlet.http.HttpSession for testing purposes
-
-package javax.servlet.http;
-
-import java.util.Enumeration;
-import javax.servlet.ServletContext;
-import javax.servlet.http.HttpSessionContext;
-
-public interface HttpSession
-{
-    Enumeration<String> getAttributeNames();
-    HttpSessionContext getSessionContext();
-    Object getAttribute(String p0);
-    Object getValue(String p0);
-    ServletContext getServletContext();
-    String getId();
-    String[] getValueNames();
-    boolean isNew();
-    int getMaxInactiveInterval();
-    long getCreationTime();
-    long getLastAccessedTime();
-    void invalidate();
-    void putValue(String p0, Object p1);
-    void removeAttribute(String p0);
-    void removeValue(String p0);
-    void setAttribute(String p0, Object p1);
-    void setMaxInactiveInterval(int p0);
-}

java/ql/test/stubs/javax-servlet-2.5/javax/http/HttpSessionContext.java

@@ -1,12 +0,0 @@
-// Generated automatically from javax.servlet.http.HttpSessionContext for testing purposes
-
-package javax.servlet.http;
-
-import java.util.Enumeration;
-import javax.servlet.http.HttpSession;
-
-public interface HttpSessionContext
-{
-    Enumeration<String> getIds();
-    HttpSession getSession(String p0);
-}

java/ql/test/stubs/javax-servlet-2.5/javax/http/HttpUpgradeHandler.java

@@ -1,11 +0,0 @@
-// Generated automatically from javax.servlet.http.HttpUpgradeHandler for testing purposes
-
-package javax.servlet.http;
-
-import javax.servlet.http.WebConnection;
-
-public interface HttpUpgradeHandler
-{
-    void destroy();
-    void init(WebConnection p0);
-}

java/ql/test/stubs/javax-servlet-2.5/javax/http/MappingMatch.java

@@ -1,10 +0,0 @@
-// Generated automatically from javax.servlet.http.MappingMatch for testing purposes
-
-package javax.servlet.http;
-
-
-public enum MappingMatch
-{
-    CONTEXT_ROOT, DEFAULT, EXACT, EXTENSION, PATH;
-    private MappingMatch() {}
-}

java/ql/test/stubs/javax-servlet-2.5/javax/http/Part.java

@@ -1,20 +0,0 @@
-// Generated automatically from javax.servlet.http.Part for testing purposes
-
-package javax.servlet.http;
-
-import java.io.InputStream;
-import java.util.Collection;
-
-public interface Part
-{
-    Collection<String> getHeaderNames();
-    Collection<String> getHeaders(String p0);
-    InputStream getInputStream();
-    String getContentType();
-    String getHeader(String p0);
-    String getName();
-    String getSubmittedFileName();
-    long getSize();
-    void delete();
-    void write(String p0);
-}

java/ql/test/stubs/javax-servlet-2.5/javax/http/PushBuilder.java

@@ -1,23 +0,0 @@
-// Generated automatically from javax.servlet.http.PushBuilder for testing purposes
-
-package javax.servlet.http;
-
-import java.util.Set;
-
-public interface PushBuilder
-{
-    PushBuilder addHeader(String p0, String p1);
-    PushBuilder method(String p0);
-    PushBuilder path(String p0);
-    PushBuilder queryString(String p0);
-    PushBuilder removeHeader(String p0);
-    PushBuilder sessionId(String p0);
-    PushBuilder setHeader(String p0, String p1);
-    Set<String> getHeaderNames();
-    String getHeader(String p0);
-    String getMethod();
-    String getPath();
-    String getQueryString();
-    String getSessionId();
-    void push();
-}

java/ql/test/stubs/javax-servlet-2.5/javax/http/WebConnection.java

@@ -1,12 +0,0 @@
-// Generated automatically from javax.servlet.http.WebConnection for testing purposes
-
-package javax.servlet.http;
-
-import javax.servlet.ServletInputStream;
-import javax.servlet.ServletOutputStream;
-
-public interface WebConnection extends AutoCloseable
-{
-    ServletInputStream getInputStream();
-    ServletOutputStream getOutputStream();
-}

java/ql/test/stubs/javax-servlet-2.5/javax/servlet/Filter.java

@@ -1,15 +1,11 @@
-// Generated automatically from javax.servlet.Filter for testing purposes
-
 package javax.servlet;
 
-import javax.servlet.FilterChain;
+import java.io.IOException;
-import javax.servlet.FilterConfig;
-import javax.servlet.ServletRequest;
-import javax.servlet.ServletResponse;
 
-public interface Filter
+public interface Filter {
-{
+    default public void init(FilterConfig filterConfig) throws ServletException {}
-    default void destroy(){}
+    public void doFilter(ServletRequest request, ServletResponse response,
-    default void init(FilterConfig p0){}
+                         FilterChain chain)
-    void doFilter(ServletRequest p0, ServletResponse p1, FilterChain p2);
+            throws IOException, ServletException;
+    default public void destroy() {}
 }

java/ql/test/stubs/javax-servlet-2.5/javax/servlet/FilterChain.java

@@ -1,11 +1,7 @@
-// Generated automatically from javax.servlet.FilterChain for testing purposes
-
 package javax.servlet;
 
-import javax.servlet.ServletRequest;
+import java.io.IOException;
-import javax.servlet.ServletResponse;
 
-public interface FilterChain
+public interface FilterChain {
-{
+   public void doFilter(ServletRequest request, ServletResponse response) throws IOException, ServletException;
-    void doFilter(ServletRequest p0, ServletResponse p1);
 }

java/ql/test/stubs/javax-servlet-2.5/javax/servlet/FilterConfig.java

@@ -1,14 +1,10 @@
-// Generated automatically from javax.servlet.FilterConfig for testing purposes
-
 package javax.servlet;
 
 import java.util.Enumeration;
-import javax.servlet.ServletContext;
 
-public interface FilterConfig
+public interface FilterConfig {
-{
+    public String getFilterName();
-    Enumeration<String> getInitParameterNames();
+    public ServletContext getServletContext();
-    ServletContext getServletContext();
+    public String getInitParameter(String name);
-    String getFilterName();
+    public Enumeration<String> getInitParameterNames();
-    String getInitParameter(String p0);
 }

java/ql/test/stubs/javax-servlet-2.5/javax/servlet/GenericServlet.java

@@ -1,28 +1,216 @@
-// Generated automatically from javax.servlet.GenericServlet for testing purposes
+/**
+ *
+ * Copyright 2003-2004 The Apache Software Foundation
+ *
+ *  Licensed under the Apache License, Version 2.0 (the "License");
+ *  you may not use this file except in compliance with the License.
+ *  You may obtain a copy of the License at
+ *
+ *     http://www.apache.org/licenses/LICENSE-2.0
+ *
+ *  Unless required by applicable law or agreed to in writing, software
+ *  distributed under the License is distributed on an "AS IS" BASIS,
+ *  WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ *  See the License for the specific language governing permissions and
+ *  limitations under the License.
+ */
+
+/*
+ * Adapted from the Java Servlet API version 2.4 as available at
+ *   http://search.maven.org/remotecontent?filepath=javax/servlet/servlet-api/2.4/servlet-api-2.4-sources.jar
+ * Only relevant stubs of this file have been retained for test purposes.
+ */
 
 package javax.servlet;
 
-import java.io.Serializable;
+import java.io.IOException;
 import java.util.Enumeration;
-import javax.servlet.Servlet;
-import javax.servlet.ServletConfig;
-import javax.servlet.ServletContext;
-import javax.servlet.ServletRequest;
-import javax.servlet.ServletResponse;
 
-abstract public class GenericServlet implements Serializable, Servlet, ServletConfig
+/**
-{
+ *
-    public Enumeration<String> getInitParameterNames(){ return null; }
+ * Defines a generic, protocol-independent
-    public GenericServlet(){}
+ * servlet. To write an HTTP servlet for use on the
-    public ServletConfig getServletConfig(){ return null; }
+ * Web, extend {@link javax.servlet.http.HttpServlet} instead.
-    public ServletContext getServletContext(){ return null; }
+ *
-    public String getInitParameter(String p0){ return null; }
+ * <p><code>GenericServlet</code> implements the <code>Servlet</code>
-    public String getServletInfo(){ return null; }
+ * and <code>ServletConfig</code> interfaces. <code>GenericServlet</code>
-    public String getServletName(){ return null; }
+ * may be directly extended by a servlet, although it's more common to extend
-    public abstract void service(ServletRequest p0, ServletResponse p1);
+ * a protocol-specific subclass such as <code>HttpServlet</code>.
-    public void destroy(){}
+ *
-    public void init(){}
+ * <p><code>GenericServlet</code> makes writing servlets
-    public void init(ServletConfig p0){}
+ * easier. It provides simple versions of the lifecycle methods
-    public void log(String p0){}
+ * <code>init</code> and <code>destroy</code> and of the methods
-    public void log(String p0, Throwable p1){}
+ * in the <code>ServletConfig</code> interface. <code>GenericServlet</code>
+ * also implements the <code>log</code> method, declared in the
+ * <code>ServletContext</code> interface.
+ *
+ * <p>To write a generic servlet, you need only
+ * override the abstract <code>service</code> method.
+ *
+ * @version $Rev: 46019 $ $Date: 2004-09-14 04:56:06 -0500 (Tue, 14 Sep 2004) $
+ */
+public abstract class GenericServlet implements Servlet, ServletConfig, java.io.Serializable {
+
+    /**
+     * Does nothing. All of the servlet initialization
+     * is done by one of the <code>init</code> methods.
+     */
+    public GenericServlet() {
+    }
+
+    /**
+     * Called by the servlet container to indicate to a servlet that the
+     * servlet is being taken out of service.  See {@link Servlet#destroy}.
+     */
+    public void destroy() {
+    }
+
+    /**
+     * Returns a <code>String</code> containing the value of the named
+     * initialization parameter, or <code>null</code> if the parameter does
+     * not exist.  See {@link ServletConfig#getInitParameter}.
+     *
+     * <p>This method is supplied for convenience. It gets the
+     * value of the named parameter from the servlet's
+     * <code>ServletConfig</code> object.
+     *
+     * @param name a <code>String</code> specifying the name
+     * of the initialization parameter
+     *
+     * @return String a <code>String</code> containing the value
+     * of the initalization parameter
+     */
+    public String getInitParameter(String name) {
+        return null;
+    }
+
+    /**
+     * Returns the names of the servlet's initialization parameters
+     * as an <code>Enumeration</code> of <code>String</code> objects,
+     * or an empty <code>Enumeration</code> if the servlet has no
+     * initialization parameters.  See {@link
+     * ServletConfig#getInitParameterNames}.
+     *
+     * <p>This method is supplied for convenience. It gets the
+     * parameter names from the servlet's <code>ServletConfig</code> object.
+     *
+     *
+     * @return Enumeration an enumeration of <code>String</code>
+     * objects containing the names of the servlet's initialization parameters
+     */
+    public Enumeration getInitParameterNames() {
+        return null;
+    }
+
+    /**
+     * Returns this servlet's {@link ServletConfig} object.
+     *
+     * @return ServletConfig the <code>ServletConfig</code> object
+     * that initialized this servlet
+     */
+    public ServletConfig getServletConfig() {
+        return null;
+    }
+
+
+    /**
+     * Returns a reference to the {@link ServletContext} in which this servlet
+     * is running.  See {@link ServletConfig#getServletContext}.
+     *
+     * <p>This method is supplied for convenience. It gets the
+     * context from the servlet's <code>ServletConfig</code> object.
+     *
+     *
+     * @return ServletContext the <code>ServletContext</code> object
+     * passed to this servlet by the <code>init</code> method
+     */
+    public ServletContext getServletContext() {
+        return null;
+    }
+
+
+    /**
+     * Returns information about the servlet, such as
+     * author, version, and copyright.
+     * By default, this method returns an empty string.  Override this method
+     * to have it return a meaningful value.  See {@link
+     * Servlet#getServletInfo}.
+     *
+     *
+     * @return String information about this servlet, by default an
+     * empty string
+     */
+    public String getServletInfo() {
+        return null;
+    }
+
+
+    /**
+     * Called by the servlet container to indicate to a servlet that the
+     * servlet is being placed into service.  See {@link Servlet#init}.
+     *
+     * <p>This implementation stores the {@link ServletConfig}
+     * object it receives from the servlet container for later use.
+     * When overriding this form of the method, call
+     * <code>super.init(config)</code>.
+     *
+     * @param config the <code>ServletConfig</code> object
+     * that contains configutation information for this servlet
+     *
+     * @exception ServletException if an exception occurs that
+     * interrupts the servlet's normal operation
+     *
+     * @see UnavailableException
+     */
+    public void init(ServletConfig config) throws ServletException {
+    }
+
+
+    /**
+     * A convenience method which can be overridden so that there's no need
+     * to call <code>super.init(config)</code>.
+     *
+     * <p>Instead of overriding {@link #init(ServletConfig)}, simply override
+     * this method and it will be called by
+     * <code>GenericServlet.init(ServletConfig config)</code>.
+     * The <code>ServletConfig</code> object can still be retrieved via {@link
+     * #getServletConfig}.
+     *
+     * @exception ServletException if an exception occurs that
+     * interrupts the servlet's normal operation
+     */
+    public void init() throws ServletException {
+    }
+
+
+    /**
+     * Called by the servlet container to allow the servlet to respond to
+     * a request.  See {@link Servlet#service}.
+     *
+     * <p>This method is declared abstract so subclasses, such as
+     * <code>HttpServlet</code>, must override it.
+     *
+     * @param req the <code>ServletRequest</code> object
+     * that contains the client's request
+     *
+     * @param res the <code>ServletResponse</code> object
+     * that will contain the servlet's response
+     *
+     * @exception ServletException if an exception occurs that
+     * interferes with the servlet's normal operation occurred
+     *
+     * @exception IOException if an input or output
+     * exception occurs
+     */
+    public abstract void service(ServletRequest req, ServletResponse res) throws ServletException, IOException;
+
+    /**
+     * Returns the name of this servlet instance.
+     * See {@link ServletConfig#getServletName}.
+     *
+     * @return the name of this servlet instance
+     */
+    public String getServletName() {
+        return null;
+    }
 }

java/ql/test/stubs/javax-servlet-2.5/javax/servlet/RequestDispatcher.java

@@ -1,30 +1,33 @@
-// Generated automatically from javax.servlet.RequestDispatcher for testing purposes
+/**
+ *
+ * Copyright 2003-2004 The Apache Software Foundation
+ *
+ *  Licensed under the Apache License, Version 2.0 (the "License");
+ *  you may not use this file except in compliance with the License.
+ *  You may obtain a copy of the License at
+ *
+ *     http://www.apache.org/licenses/LICENSE-2.0
+ *
+ *  Unless required by applicable law or agreed to in writing, software
+ *  distributed under the License is distributed on an "AS IS" BASIS,
+ *  WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ *  See the License for the specific language governing permissions and
+ *  limitations under the License.
+ */
+
+/*
+ * Adapted from the Java Servlet API version 2.4 as available at
+ *   http://search.maven.org/remotecontent?filepath=javax/servlet/servlet-api/2.4/servlet-api-2.4-sources.jar
+ * Only relevant stubs of this file have been retained for test purposes.
+ */
 
 package javax.servlet;
 
-import javax.servlet.ServletRequest;
+import java.io.IOException;
-import javax.servlet.ServletResponse;
 
-public interface RequestDispatcher
+public interface RequestDispatcher {
-{
+    public void forward(ServletRequest request, ServletResponse response)
-    static String ERROR_EXCEPTION = null;
+            throws ServletException, IOException;
-    static String ERROR_EXCEPTION_TYPE = null;
+    public void include(ServletRequest request, ServletResponse response)
-    static String ERROR_MESSAGE = null;
+            throws ServletException, IOException;
-    static String ERROR_REQUEST_URI = null;
-    static String ERROR_SERVLET_NAME = null;
-    static String ERROR_STATUS_CODE = null;
-    static String FORWARD_CONTEXT_PATH = null;
-    static String FORWARD_MAPPING = null;
-    static String FORWARD_PATH_INFO = null;
-    static String FORWARD_QUERY_STRING = null;
-    static String FORWARD_REQUEST_URI = null;
-    static String FORWARD_SERVLET_PATH = null;
-    static String INCLUDE_CONTEXT_PATH = null;
-    static String INCLUDE_MAPPING = null;
-    static String INCLUDE_PATH_INFO = null;
-    static String INCLUDE_QUERY_STRING = null;
-    static String INCLUDE_REQUEST_URI = null;
-    static String INCLUDE_SERVLET_PATH = null;
-    void forward(ServletRequest p0, ServletResponse p1);
-    void include(ServletRequest p0, ServletResponse p1);
 }

java/ql/test/stubs/javax-servlet-2.5/javax/servlet/Servlet.java

@@ -1,16 +1,35 @@
-// Generated automatically from javax.servlet.Servlet for testing purposes
+/**
+ *
+ * Copyright 2003-2004 The Apache Software Foundation
+ *
+ *  Licensed under the Apache License, Version 2.0 (the "License");
+ *  you may not use this file except in compliance with the License.
+ *  You may obtain a copy of the License at
+ *
+ *     http://www.apache.org/licenses/LICENSE-2.0
+ *
+ *  Unless required by applicable law or agreed to in writing, software
+ *  distributed under the License is distributed on an "AS IS" BASIS,
+ *  WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ *  See the License for the specific language governing permissions and
+ *  limitations under the License.
+ */
+
+/*
+ * Adapted from the Java Servlet API version 2.4 as available at
+ *   http://search.maven.org/remotecontent?filepath=javax/servlet/servlet-api/2.4/servlet-api-2.4-sources.jar
+ * Only relevant stubs of this file have been retained for test purposes.
+ */
 
 package javax.servlet;
 
-import javax.servlet.ServletConfig;
+import java.io.IOException;
-import javax.servlet.ServletRequest;
-import javax.servlet.ServletResponse;
 
-public interface Servlet
+public interface Servlet {
-{
+    public void init(ServletConfig config) throws ServletException;
-    ServletConfig getServletConfig();
+    public ServletConfig getServletConfig();
-    String getServletInfo();
+    public void service(ServletRequest req, ServletResponse res)
-    void destroy();
+            throws ServletException, IOException;
-    void init(ServletConfig p0);
+    public String getServletInfo();
-    void service(ServletRequest p0, ServletResponse p1);
+    public void destroy();
 }

java/ql/test/stubs/javax-servlet-2.5/javax/servlet/ServletConfig.java

@@ -1,14 +1,33 @@
-// Generated automatically from javax.servlet.ServletConfig for testing purposes
+/**
+ *
+ * Copyright 2003-2004 The Apache Software Foundation
+ *
+ *  Licensed under the Apache License, Version 2.0 (the "License");
+ *  you may not use this file except in compliance with the License.
+ *  You may obtain a copy of the License at
+ *
+ *     http://www.apache.org/licenses/LICENSE-2.0
+ *
+ *  Unless required by applicable law or agreed to in writing, software
+ *  distributed under the License is distributed on an "AS IS" BASIS,
+ *  WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ *  See the License for the specific language governing permissions and
+ *  limitations under the License.
+ */
+
+/*
+ * Adapted from the Java Servlet API version 2.4 as available at
+ *   http://search.maven.org/remotecontent?filepath=javax/servlet/servlet-api/2.4/servlet-api-2.4-sources.jar
+ * Only relevant stubs of this file have been retained for test purposes.
+ */
 
 package javax.servlet;
 
 import java.util.Enumeration;
-import javax.servlet.ServletContext;
 
-public interface ServletConfig
+public interface ServletConfig {
-{
+    public String getServletName();
-    Enumeration<String> getInitParameterNames();
+    public ServletContext getServletContext();
-    ServletContext getServletContext();
+    public String getInitParameter(String name);
-    String getInitParameter(String p0);
+    public Enumeration getInitParameterNames();
-    String getServletName();
 }

java/ql/test/stubs/javax-servlet-2.5/javax/servlet/ServletContext.java

@@ -1,83 +1,57 @@
-// Generated automatically from javax.servlet.ServletContext for testing purposes
+/**
+ *
+ * Copyright 2003-2004 The Apache Software Foundation
+ *
+ *  Licensed under the Apache License, Version 2.0 (the "License");
+ *  you may not use this file except in compliance with the License.
+ *  You may obtain a copy of the License at
+ *
+ *     http://www.apache.org/licenses/LICENSE-2.0
+ *
+ *  Unless required by applicable law or agreed to in writing, software
+ *  distributed under the License is distributed on an "AS IS" BASIS,
+ *  WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ *  See the License for the specific language governing permissions and
+ *  limitations under the License.
+ */
+
+/*
+ * Adapted from the Java Servlet API version 2.4 as available at
+ *   http://search.maven.org/remotecontent?filepath=javax/servlet/servlet-api/2.4/servlet-api-2.4-sources.jar
+ * Only relevant stubs of this file have been retained for test purposes.
+ */
 
 package javax.servlet;
 
 import java.io.InputStream;
+import java.net.MalformedURLException;
 import java.net.URL;
 import java.util.Enumeration;
-import java.util.EventListener;
-import java.util.Map;
 import java.util.Set;
-import javax.servlet.Filter;
-import javax.servlet.FilterRegistration;
-import javax.servlet.RequestDispatcher;
-import javax.servlet.Servlet;
-import javax.servlet.ServletRegistration;
-import javax.servlet.SessionCookieConfig;
-import javax.servlet.SessionTrackingMode;
-import javax.servlet.descriptor.JspConfigDescriptor;
 
-public interface ServletContext
+public interface ServletContext {
-{
+    public ServletContext getContext(String uripath);
-    <T extends EventListener> T createListener(java.lang.Class<T> p0);
+    public int getMajorVersion();
-    <T extends EventListener> void addListener(T p0);
+    public int getMinorVersion();
-    <T extends Filter> T createFilter(java.lang.Class<T> p0);
+    public String getMimeType(String file);
-    <T extends Servlet> T createServlet(java.lang.Class<T> p0);
+    public Set getResourcePaths(String path);
-    ClassLoader getClassLoader();
+    public URL getResource(String path) throws MalformedURLException;
-    Enumeration<Servlet> getServlets();
+    public InputStream getResourceAsStream(String path);
-    Enumeration<String> getAttributeNames();
+    public RequestDispatcher getRequestDispatcher(String path);
-    Enumeration<String> getInitParameterNames();
+    public RequestDispatcher getNamedDispatcher(String name);
-    Enumeration<String> getServletNames();
+    public Servlet getServlet(String name) throws ServletException;
-    FilterRegistration getFilterRegistration(String p0);
+    public Enumeration getServlets();
-    FilterRegistration.Dynamic addFilter(String p0, Class<? extends Filter> p1);
+    public Enumeration getServletNames();
-    FilterRegistration.Dynamic addFilter(String p0, Filter p1);
+    public void log(String msg);
-    FilterRegistration.Dynamic addFilter(String p0, String p1);
+    public void log(Exception exception, String msg);
-    InputStream getResourceAsStream(String p0);
+    public void log(String message, Throwable throwable);
-    JspConfigDescriptor getJspConfigDescriptor();
+    public String getRealPath(String path);
-    Map<String, ? extends FilterRegistration> getFilterRegistrations();
+    public String getServerInfo();
-    Map<String, ? extends ServletRegistration> getServletRegistrations();
+    public String getInitParameter(String name);
-    Object getAttribute(String p0);
+    public Enumeration getInitParameterNames();
-    RequestDispatcher getNamedDispatcher(String p0);
+    public Object getAttribute(String name);
-    RequestDispatcher getRequestDispatcher(String p0);
+    public Enumeration getAttributeNames();
-    Servlet getServlet(String p0);
+    public void setAttribute(String name, Object object);
-    ServletContext getContext(String p0);
+    public void removeAttribute(String name);
-    ServletRegistration getServletRegistration(String p0);
+    public String getServletContextName();
-    ServletRegistration.Dynamic addJspFile(String p0, String p1);
-    ServletRegistration.Dynamic addServlet(String p0, Class<? extends Servlet> p1);
-    ServletRegistration.Dynamic addServlet(String p0, Servlet p1);
-    ServletRegistration.Dynamic addServlet(String p0, String p1);
-    SessionCookieConfig getSessionCookieConfig();
-    Set<SessionTrackingMode> getDefaultSessionTrackingModes();
-    Set<SessionTrackingMode> getEffectiveSessionTrackingModes();
-    Set<String> getResourcePaths(String p0);
-    String getContextPath();
-    String getInitParameter(String p0);
-    String getMimeType(String p0);
-    String getRealPath(String p0);
-    String getRequestCharacterEncoding();
-    String getResponseCharacterEncoding();
-    String getServerInfo();
-    String getServletContextName();
-    String getVirtualServerName();
-    URL getResource(String p0);
-    boolean setInitParameter(String p0, String p1);
-    int getEffectiveMajorVersion();
-    int getEffectiveMinorVersion();
-    int getMajorVersion();
-    int getMinorVersion();
-    int getSessionTimeout();
-    static String ORDERED_LIBS = null;
-    static String TEMPDIR = null;
-    void addListener(Class<? extends EventListener> p0);
-    void addListener(String p0);
-    void declareRoles(String... p0);
-    void log(Exception p0, String p1);
-    void log(String p0);
-    void log(String p0, Throwable p1);
-    void removeAttribute(String p0);
-    void setAttribute(String p0, Object p1);
-    void setRequestCharacterEncoding(String p0);
-    void setResponseCharacterEncoding(String p0);
-    void setSessionTimeout(int p0);
-    void setSessionTrackingModes(Set<SessionTrackingMode> p0);
 }

java/ql/test/stubs/javax-servlet-2.5/javax/servlet/ServletContextEvent.java

@@ -1,20 +1,46 @@
-// Generated automatically from javax.servlet.ServletContextEvent for testing purposes
+/*
+ * Copyright (c) 1997-2018 Oracle and/or its affiliates. All rights reserved.
+ * Copyright 2004 The Apache Software Foundation
+ *
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ *     http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
 
 package javax.servlet;
 
-import java.util.EventObject;
+/** 
-import javax.servlet.ServletContext;
+ * This is the event class for notifications about changes to
+ * the servlet context of a web application.
+ * @see ServletContextListener
+ *
+ * @since Servlet 2.3
+ */
 
-public class ServletContextEvent extends EventObject {
+public class ServletContextEvent extends java.util.EventObject { 
-    protected ServletContextEvent() {
+
-        super(null);
+    /** Construct a ServletContextEvent from the given context.
+     *
+     * @param source - the ServletContext that is sending the event.
+     */
+    public ServletContextEvent(ServletContext source) {
+        super(source);
     }
-
+    
-    public ServletContext getServletContext() {
+    /**
+     * Return the ServletContext that changed.
+     *
+     * @return the ServletContext that sent the event.
+     */
+    public ServletContext getServletContext () { 
         return null;
     }
-
+}
-    public ServletContextEvent(ServletContext p0) {
-        super(null);
-    }
-}

java/ql/test/stubs/javax-servlet-2.5/javax/servlet/ServletContextListener.java

@@ -0,0 +1,74 @@
+/*
+ * Copyright (c) 1997-2018 Oracle and/or its affiliates. All rights reserved.
+ * Copyright 2004 The Apache Software Foundation
+ *
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ *     http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+
+package javax.servlet;
+
+import java.util.EventListener;
+
+/** 
+ * Interface for receiving notification events about ServletContext
+ * lifecycle changes.
+ *
+ * <p>In order to receive these notification events, the implementation
+ * class must be either declared in the deployment descriptor of the web
+ * application, annotated with {@link javax.servlet.annotation.WebListener},
+ * or registered via one of the addListener methods defined on
+ * {@link ServletContext}.
+ *
+ * <p>Implementations of this interface are invoked at their
+ * {@link #contextInitialized} method in the order in which they have been
+ * declared, and at their {@link #contextDestroyed} method in reverse
+ * order.
+ *
+ * @see ServletContextEvent
+ *
+ * @since Servlet 2.3
+ */
+public interface ServletContextListener extends EventListener {
+
+    /**
+     * Receives notification that the web application initialization
+     * process is starting.
+     *
+     * <p>All ServletContextListeners are notified of context
+     * initialization before any filters or servlets in the web
+     * application are initialized.
+     *
+     * @param sce the ServletContextEvent containing the ServletContext
+     * that is being initialized
+     *
+     * @implSpec
+     * The default implementation takes no action.
+     */
+    default public void contextInitialized(ServletContextEvent sce) {}
+
+    /**
+     * Receives notification that the ServletContext is about to be
+     * shut down.
+     *
+     * <p>All servlets and filters will have been destroyed before any
+     * ServletContextListeners are notified of context
+     * destruction.
+     *
+     * @param sce the ServletContextEvent containing the ServletContext
+     * that is being destroyed
+     *
+     * @implSpec
+     * The default implementation takes no action.
+     */
+    default public void contextDestroyed(ServletContextEvent sce) {}
+}

java/ql/test/stubs/javax-servlet-2.5/javax/servlet/ServletException.java

@@ -0,0 +1,27 @@
+/**
+ *
+ * Copyright 2003-2004 The Apache Software Foundation
+ *
+ *  Licensed under the Apache License, Version 2.0 (the "License");
+ *  you may not use this file except in compliance with the License.
+ *  You may obtain a copy of the License at
+ *
+ *     http://www.apache.org/licenses/LICENSE-2.0
+ *
+ *  Unless required by applicable law or agreed to in writing, software
+ *  distributed under the License is distributed on an "AS IS" BASIS,
+ *  WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ *  See the License for the specific language governing permissions and
+ *  limitations under the License.
+ */
+
+/*
+ * Adapted from the Java Servlet API version 2.4 as available at
+ *   http://search.maven.org/remotecontent?filepath=javax/servlet/servlet-api/2.4/servlet-api-2.4-sources.jar
+ * Only relevant stubs of this file have been retained for test purposes.
+ */
+
+package javax.servlet;
+
+public class ServletException extends Exception {
+}

java/ql/test/stubs/javax-servlet-2.5/javax/servlet/ServletInputStream.java

@@ -1,15 +1,35 @@
-// Generated automatically from javax.servlet.ServletInputStream for testing purposes
+/**
+ *
+ * Copyright 2003-2004 The Apache Software Foundation
+ *
+ *  Licensed under the Apache License, Version 2.0 (the "License");
+ *  you may not use this file except in compliance with the License.
+ *  You may obtain a copy of the License at
+ *
+ *     http://www.apache.org/licenses/LICENSE-2.0
+ *
+ *  Unless required by applicable law or agreed to in writing, software
+ *  distributed under the License is distributed on an "AS IS" BASIS,
+ *  WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ *  See the License for the specific language governing permissions and
+ *  limitations under the License.
+ */
+
+/*
+ * Adapted from the Java Servlet API version 2.4 as available at
+ *   http://search.maven.org/remotecontent?filepath=javax/servlet/servlet-api/2.4/servlet-api-2.4-sources.jar
+ * Only relevant stubs of this file have been retained for test purposes.
+ */
 
 package javax.servlet;
 
+import java.io.IOException;
 import java.io.InputStream;
-import javax.servlet.ReadListener;
 
-abstract public class ServletInputStream extends InputStream
+public abstract class ServletInputStream extends InputStream {
-{
+    protected ServletInputStream() {
-    protected ServletInputStream(){}
+    }
-    public abstract boolean isFinished();
+    public int readLine(byte[] b, int off, int len) throws IOException {
-    public abstract boolean isReady();
+        return 0;
-    public abstract void setReadListener(ReadListener p0);
+    }
-    public int readLine(byte[] p0, int p1, int p2){ return 0; }
 }

java/ql/test/stubs/javax-servlet-2.5/javax/servlet/ServletOutputStream.java

@@ -1,28 +1,62 @@
-// Generated automatically from javax.servlet.ServletOutputStream for testing purposes
+/**
+ *
+ * Copyright 2003-2004 The Apache Software Foundation
+ *
+ *  Licensed under the Apache License, Version 2.0 (the "License");
+ *  you may not use this file except in compliance with the License.
+ *  You may obtain a copy of the License at
+ *
+ *     http://www.apache.org/licenses/LICENSE-2.0
+ *
+ *  Unless required by applicable law or agreed to in writing, software
+ *  distributed under the License is distributed on an "AS IS" BASIS,
+ *  WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ *  See the License for the specific language governing permissions and
+ *  limitations under the License.
+ */
+
+/*
+ * Adapted from the Java Servlet API version 2.4 as available at
+ *   http://search.maven.org/remotecontent?filepath=javax/servlet/servlet-api/2.4/servlet-api-2.4-sources.jar
+ * Only relevant stubs of this file have been retained for test purposes.
+ */
 
 package javax.servlet;
 
+import java.io.IOException;
 import java.io.OutputStream;
-import javax.servlet.WriteListener;
 
-abstract public class ServletOutputStream extends OutputStream
+public abstract class ServletOutputStream extends OutputStream {
-{
+    protected ServletOutputStream() {
-    protected ServletOutputStream(){}
+    }
-    public abstract boolean isReady();
+    public void print(String s) throws IOException {
-    public abstract void setWriteListener(WriteListener p0);
+    }
-    public void print(String p0){}
+    public void print(boolean b) throws IOException {
-    public void print(boolean p0){}
+    }
-    public void print(char p0){}
+    public void print(char c) throws IOException {
-    public void print(double p0){}
+    }
-    public void print(float p0){}
+    public void print(int i) throws IOException {
-    public void print(int p0){}
+    }
-    public void print(long p0){}
+    public void print(long l) throws IOException {
-    public void println(){}
+    }
-    public void println(String p0){}
+    public void print(float f) throws IOException {
-    public void println(boolean p0){}
+    }
-    public void println(char p0){}
+    public void print(double d) throws IOException {
-    public void println(double p0){}
+    }
-    public void println(float p0){}
+    public void println() throws IOException {
-    public void println(int p0){}
+    }
-    public void println(long p0){}
+    public void println(String s) throws IOException {
+    }
+    public void println(boolean b) throws IOException {
+    }
+    public void println(char c) throws IOException {
+    }
+    public void println(int i) throws IOException {
+    }
+    public void println(long l) throws IOException {
+    }
+    public void println(float f) throws IOException {
+    }
+    public void println(double d) throws IOException {
+    }
 }

java/ql/test/stubs/javax-servlet-2.5/javax/servlet/ServletRequest.java

@@ -1,55 +1,62 @@
-// Generated automatically from javax.servlet.ServletRequest for testing purposes
+/**
+ *
+ * Copyright 2003-2004 The Apache Software Foundation
+ *
+ *  Licensed under the Apache License, Version 2.0 (the "License");
+ *  you may not use this file except in compliance with the License.
+ *  You may obtain a copy of the License at
+ *
+ *     http://www.apache.org/licenses/LICENSE-2.0
+ *
+ *  Unless required by applicable law or agreed to in writing, software
+ *  distributed under the License is distributed on an "AS IS" BASIS,
+ *  WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ *  See the License for the specific language governing permissions and
+ *  limitations under the License.
+ */
+
+/*
+ * Adapted from the Java Servlet API version 2.4 as available at
+ *   http://search.maven.org/remotecontent?filepath=javax/servlet/servlet-api/2.4/servlet-api-2.4-sources.jar
+ * Only relevant stubs of this file have been retained for test purposes.
+ */
 
 package javax.servlet;
 
 import java.io.BufferedReader;
+import java.io.IOException;
 import java.util.Enumeration;
 import java.util.Locale;
 import java.util.Map;
-import javax.servlet.AsyncContext;
-import javax.servlet.DispatcherType;
-import javax.servlet.RequestDispatcher;
-import javax.servlet.ServletContext;
-import javax.servlet.ServletInputStream;
-import javax.servlet.ServletResponse;
 
-public interface ServletRequest
+public interface ServletRequest {
-{
+    public Object getAttribute(String name);
-    AsyncContext getAsyncContext();
+    public Enumeration getAttributeNames();
-    AsyncContext startAsync();
+    public String getCharacterEncoding();
-    AsyncContext startAsync(ServletRequest p0, ServletResponse p1);
+    public void setCharacterEncoding(String env) throws java.io.UnsupportedEncodingException;
-    BufferedReader getReader();
+    public int getContentLength();
-    DispatcherType getDispatcherType();
+    public String getContentType();
-    Enumeration<Locale> getLocales();
+    public ServletInputStream getInputStream() throws IOException;
-    Enumeration<String> getAttributeNames();
+    public String getParameter(String name);
-    Enumeration<String> getParameterNames();
+    public Enumeration getParameterNames();
-    Locale getLocale();
+    public String[] getParameterValues(String name);
-    Map<String, String[]> getParameterMap();
+    public Map getParameterMap();
-    Object getAttribute(String p0);
+    public String getProtocol();
-    RequestDispatcher getRequestDispatcher(String p0);
+    public String getScheme();
-    ServletContext getServletContext();
+    public String getServerName();
-    ServletInputStream getInputStream();
+    public int getServerPort();
-    String getCharacterEncoding();
+    public BufferedReader getReader() throws IOException;
-    String getContentType();
+    public String getRemoteAddr();
-    String getLocalAddr();
+    public String getRemoteHost();
-    String getLocalName();
+    public void setAttribute(String name, Object o);
-    String getParameter(String p0);
+    public void removeAttribute(String name);
-    String getProtocol();
+    public Locale getLocale();
-    String getRealPath(String p0);
+    public Enumeration getLocales();
-    String getRemoteAddr();
+    public boolean isSecure();
-    String getRemoteHost();
+    public RequestDispatcher getRequestDispatcher(String path);
-    String getScheme();
+    public String getRealPath(String path);
-    String getServerName();
+    public int getRemotePort();
-    String[] getParameterValues(String p0);
+    public String getLocalName();
-    boolean isAsyncStarted();
+    public String getLocalAddr();
-    boolean isAsyncSupported();
+    public int getLocalPort();
-    boolean isSecure();
-    int getContentLength();
-    int getLocalPort();
-    int getRemotePort();
-    int getServerPort();
-    long getContentLengthLong();
-    void removeAttribute(String p0);
-    void setAttribute(String p0, Object p1);
-    void setCharacterEncoding(String p0);
 }

java/ql/test/stubs/javax-servlet-2.5/javax/servlet/ServletResponse.java

@@ -1,27 +1,46 @@
-// Generated automatically from javax.servlet.ServletResponse for testing purposes
+/**
+ *
+ * Copyright 2003-2004 The Apache Software Foundation
+ *
+ *  Licensed under the Apache License, Version 2.0 (the "License");
+ *  you may not use this file except in compliance with the License.
+ *  You may obtain a copy of the License at
+ *
+ *     http://www.apache.org/licenses/LICENSE-2.0
+ *
+ *  Unless required by applicable law or agreed to in writing, software
+ *  distributed under the License is distributed on an "AS IS" BASIS,
+ *  WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ *  See the License for the specific language governing permissions and
+ *  limitations under the License.
+ */
+
+/*
+ * Adapted from the Java Servlet API version 2.4 as available at
+ *   http://search.maven.org/remotecontent?filepath=javax/servlet/servlet-api/2.4/servlet-api-2.4-sources.jar
+ * Only relevant stubs of this file have been retained for test purposes.
+ */
 
 package javax.servlet;
 
+import java.io.IOException;
 import java.io.PrintWriter;
 import java.util.Locale;
-import javax.servlet.ServletOutputStream;
 
-public interface ServletResponse
+public interface ServletResponse {
-{
+    public String getCharacterEncoding();
-    Locale getLocale();
+    public String getContentType();
-    PrintWriter getWriter();
+    public ServletOutputStream getOutputStream() throws IOException;
-    ServletOutputStream getOutputStream();
+    public PrintWriter getWriter() throws IOException;
-    String getCharacterEncoding();
+    public void setCharacterEncoding(String charset);
-    String getContentType();
+    public void setContentLength(int len);
-    boolean isCommitted();
+    public void setContentType(String type);
-    int getBufferSize();
+    public void setBufferSize(int size);
-    void flushBuffer();
+    public int getBufferSize();
-    void reset();
+    public void flushBuffer() throws IOException;
-    void resetBuffer();
+    public void resetBuffer();
-    void setBufferSize(int p0);
+    public boolean isCommitted();
-    void setCharacterEncoding(String p0);
+    public void reset();
-    void setContentLength(int p0);
+    public void setLocale(Locale loc);
-    void setContentLengthLong(long p0);
+    public Locale getLocale();
-    void setContentType(String p0);
-    void setLocale(Locale p0);
 }

java/ql/test/stubs/javax-servlet-2.5/javax/servlet/http/Cookie.java

@@ -1,29 +1,84 @@
-// Generated automatically from javax.servlet.http.Cookie for testing purposes
+/**
+ *
+ * Copyright 2003-2004 The Apache Software Foundation
+ *
+ *  Licensed under the Apache License, Version 2.0 (the "License");
+ *  you may not use this file except in compliance with the License.
+ *  You may obtain a copy of the License at
+ *
+ *     http://www.apache.org/licenses/LICENSE-2.0
+ *
+ *  Unless required by applicable law or agreed to in writing, software
+ *  distributed under the License is distributed on an "AS IS" BASIS,
+ *  WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ *  See the License for the specific language governing permissions and
+ *  limitations under the License.
+ */
+
+/*
+ * Adapted from the Java Servlet API version 2.4 as available at
+ *   http://search.maven.org/remotecontent?filepath=javax/servlet/servlet-api/2.4/servlet-api-2.4-sources.jar
+ * Only relevant stubs of this file have been retained for test purposes.
+ */
 
 package javax.servlet.http;
 
-import java.io.Serializable;
+public class Cookie implements Cloneable {
 
-public class Cookie implements Cloneable, Serializable
+    public Cookie(String name, String value) {
-{
+    }
-    protected Cookie() {}
+    public void setComment(String purpose) {
-    public Cookie(String p0, String p1){}
+    }
-    public Object clone(){ return null; }
+    public String getComment() {
-    public String getComment(){ return null; }
+        return null;
-    public String getDomain(){ return null; }
+    }
-    public String getName(){ return null; }
+    public void setDomain(String pattern) {
-    public String getPath(){ return null; }
+    }
-    public String getValue(){ return null; }
+    public String getDomain() {
-    public boolean getSecure(){ return false; }
+        return null;
-    public boolean isHttpOnly(){ return false; }
+    }
-    public int getMaxAge(){ return 0; }
+    public void setMaxAge(int expiry) {
-    public int getVersion(){ return 0; }
+    }
-    public void setComment(String p0){}
+    public int getMaxAge() {
-    public void setDomain(String p0){}
+        return -1;
-    public void setHttpOnly(boolean p0){}
+    }
-    public void setMaxAge(int p0){}
+    public void setPath(String uri) {
-    public void setPath(String p0){}
+    }
-    public void setSecure(boolean p0){}
+    public String getPath() {
-    public void setValue(String p0){}
+        return null;
-    public void setVersion(int p0){}
+    }
+    public void setSecure(boolean flag) {
+    }
+    public boolean getSecure() {
+        return false;
+    }
+    public String getName() {
+        return null;
+    }
+    public void setValue(String newValue) {
+    }
+    public String getValue() {
+        return null;
+    }
+    public int getVersion() {
+        return -1;
+    }
+    public void setVersion(int v) {
+    }
+    public void setHttpOnly(boolean isHttpOnly) {
+    }
+    public boolean isHttpOnly() {
+        return false;
+    }
+
+    /**
+     * Convert the cookie to a string suitable for use as the value of the
+     * corresponding HTTP header.
+     *
+     * @return a stringified cookie.
+     */
+    @Override
+    public String toString() {
+        return null;
+    }    
 }

java/ql/test/stubs/javax-servlet-2.5/javax/servlet/http/HttpServlet.java

@@ -1,24 +1,63 @@
-// Generated automatically from javax.servlet.http.HttpServlet for testing purposes
+/**
+ *
+ * Copyright 2003-2004 The Apache Software Foundation
+ *
+ *  Licensed under the Apache License, Version 2.0 (the "License");
+ *  you may not use this file except in compliance with the License.
+ *  You may obtain a copy of the License at
+ *
+ *     http://www.apache.org/licenses/LICENSE-2.0
+ *
+ *  Unless required by applicable law or agreed to in writing, software
+ *  distributed under the License is distributed on an "AS IS" BASIS,
+ *  WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ *  See the License for the specific language governing permissions and
+ *  limitations under the License.
+ */
+
+/*
+ * Adapted from the Java Servlet API version 2.4 as available at
+ *   http://search.maven.org/remotecontent?filepath=javax/servlet/servlet-api/2.4/servlet-api-2.4-sources.jar
+ * Only relevant stubs of this file have been retained for test purposes.
+ */
 
 package javax.servlet.http;
 
+import java.io.IOException;
 import javax.servlet.GenericServlet;
+import javax.servlet.ServletException;
 import javax.servlet.ServletRequest;
 import javax.servlet.ServletResponse;
-import javax.servlet.http.HttpServletRequest;
-import javax.servlet.http.HttpServletResponse;
 
-abstract public class HttpServlet extends GenericServlet
+public abstract class HttpServlet extends GenericServlet {
-{
+    protected void doGet(HttpServletRequest req, HttpServletResponse resp)
-    protected long getLastModified(HttpServletRequest p0){ return 0; }
+            throws ServletException, IOException {
-    protected void doDelete(HttpServletRequest p0, HttpServletResponse p1){}
+    }
-    protected void doGet(HttpServletRequest p0, HttpServletResponse p1){}
+    protected long getLastModified(HttpServletRequest req) {
-    protected void doHead(HttpServletRequest p0, HttpServletResponse p1){}
+        return -1;
-    protected void doOptions(HttpServletRequest p0, HttpServletResponse p1){}
+    }
-    protected void doPost(HttpServletRequest p0, HttpServletResponse p1){}
+    protected void doHead(HttpServletRequest req, HttpServletResponse resp)
-    protected void doPut(HttpServletRequest p0, HttpServletResponse p1){}
+            throws ServletException, IOException {
-    protected void doTrace(HttpServletRequest p0, HttpServletResponse p1){}
+    }
-    protected void service(HttpServletRequest p0, HttpServletResponse p1){}
+    protected void doPost(HttpServletRequest req, HttpServletResponse resp)
-    public HttpServlet(){}
+            throws ServletException, IOException {
-    public void service(ServletRequest p0, ServletResponse p1){}
+    }
+    protected void doPut(HttpServletRequest req, HttpServletResponse resp)
+            throws ServletException, IOException {
+    }
+    protected void doDelete(HttpServletRequest req, HttpServletResponse resp)
+            throws ServletException, IOException {
+    }
+    protected void doOptions(HttpServletRequest req, HttpServletResponse resp)
+            throws ServletException, IOException {
+    }
+    protected void doTrace(HttpServletRequest req, HttpServletResponse resp)
+            throws ServletException, IOException {
+    }
+    protected void service(HttpServletRequest req, HttpServletResponse resp)
+            throws ServletException, IOException {
+    }
+    public void service(ServletRequest req, ServletResponse res)
+            throws ServletException, IOException {
+    }
 }

java/ql/test/stubs/javax-servlet-2.5/javax/servlet/http/HttpServletRequest.java

@@ -1,60 +1,57 @@
-// Generated automatically from javax.servlet.http.HttpServletRequest for testing purposes
+/**
+ *
+ * Copyright 2003-2004 The Apache Software Foundation
+ *
+ *  Licensed under the Apache License, Version 2.0 (the "License");
+ *  you may not use this file except in compliance with the License.
+ *  You may obtain a copy of the License at
+ *
+ *     http://www.apache.org/licenses/LICENSE-2.0
+ *
+ *  Unless required by applicable law or agreed to in writing, software
+ *  distributed under the License is distributed on an "AS IS" BASIS,
+ *  WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ *  See the License for the specific language governing permissions and
+ *  limitations under the License.
+ */
+
+/*
+ * Adapted from the Java Servlet API version 2.4 as available at
+ *   http://search.maven.org/remotecontent?filepath=javax/servlet/servlet-api/2.4/servlet-api-2.4-sources.jar
+ * Only relevant stubs of this file have been retained for test purposes.
+ */
 
 package javax.servlet.http;
 
-import java.security.Principal;
-import java.util.Collection;
 import java.util.Enumeration;
-import java.util.Map;
 import javax.servlet.ServletRequest;
-import javax.servlet.http.Cookie;
+import javax.servlet.ServletContext;
-import javax.servlet.http.HttpServletMapping;
-import javax.servlet.http.HttpServletResponse;
-import javax.servlet.http.HttpSession;
-import javax.servlet.http.HttpUpgradeHandler;
-import javax.servlet.http.Part;
-import javax.servlet.http.PushBuilder;
 
-public interface HttpServletRequest extends ServletRequest
+public interface HttpServletRequest extends ServletRequest {
-{
+    public String getAuthType();
-    <T extends HttpUpgradeHandler> T upgrade(java.lang.Class<T> p0);
+    public Cookie[] getCookies();
-    Collection<Part> getParts();
+    public long getDateHeader(String name);
-    Cookie[] getCookies();
+    public String getHeader(String name);
-    Enumeration<String> getHeaderNames();
+    public Enumeration getHeaders(String name);
-    Enumeration<String> getHeaders(String p0);
+    public Enumeration getHeaderNames();
-    HttpSession getSession();
+    public int getIntHeader(String name);
-    HttpSession getSession(boolean p0);
+    public String getMethod();
-    Part getPart(String p0);
+    public String getPathInfo();
-    Principal getUserPrincipal();
+    public String getPathTranslated();
-    String changeSessionId();
+    public String getContextPath();
-    String getAuthType();
+    public String getQueryString();
-    String getContextPath();
+    public String getRemoteUser();
-    String getHeader(String p0);
+    public boolean isUserInRole(String role);
-    String getMethod();
+    public java.security.Principal getUserPrincipal();
-    String getPathInfo();
+    public String getRequestedSessionId();
-    String getPathTranslated();
+    public String getRequestURI();
-    String getQueryString();
+    public StringBuffer getRequestURL();
-    String getRemoteUser();
+    public String getServletPath();
-    String getRequestURI();
+    public HttpSession getSession(boolean create);
-    String getRequestedSessionId();
+    public HttpSession getSession();
-    String getServletPath();
+    public boolean isRequestedSessionIdValid();
-    StringBuffer getRequestURL();
+    public boolean isRequestedSessionIdFromCookie();
-    boolean authenticate(HttpServletResponse p0);
+    public boolean isRequestedSessionIdFromURL();
-    boolean isRequestedSessionIdFromCookie();
+    public boolean isRequestedSessionIdFromUrl();
-    boolean isRequestedSessionIdFromURL();
+    public ServletContext getServletContext();
-    boolean isRequestedSessionIdFromUrl();
-    boolean isRequestedSessionIdValid();
-    boolean isUserInRole(String p0);
-    default HttpServletMapping getHttpServletMapping(){ return null; }
-    default Map<String, String> getTrailerFields(){ return null; }
-    default PushBuilder newPushBuilder(){ return null; }
-    default boolean isTrailerFieldsReady(){ return false; }
-    int getIntHeader(String p0);
-    long getDateHeader(String p0);
-    static String BASIC_AUTH = null;
-    static String CLIENT_CERT_AUTH = null;
-    static String DIGEST_AUTH = null;
-    static String FORM_AUTH = null;
-    void login(String p0, String p1);
-    void logout();
 }

java/ql/test/stubs/javax-servlet-2.5/javax/servlet/http/HttpServletResponse.java

@@ -1,77 +1,95 @@
-// Generated automatically from javax.servlet.http.HttpServletResponse for testing purposes
+/**
+ *
+ * Copyright 2003-2004 The Apache Software Foundation
+ *
+ *  Licensed under the Apache License, Version 2.0 (the "License");
+ *  you may not use this file except in compliance with the License.
+ *  You may obtain a copy of the License at
+ *
+ *     http://www.apache.org/licenses/LICENSE-2.0
+ *
+ *  Unless required by applicable law or agreed to in writing, software
+ *  distributed under the License is distributed on an "AS IS" BASIS,
+ *  WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ *  See the License for the specific language governing permissions and
+ *  limitations under the License.
+ */
+
+/*
+ * Adapted from the Java Servlet API version 2.4 as available at
+ *   http://search.maven.org/remotecontent?filepath=javax/servlet/servlet-api/2.4/servlet-api-2.4-sources.jar
+ * Only relevant stubs of this file have been retained for test purposes.
+ */
 
 package javax.servlet.http;
 
+import java.io.IOException;
 import java.util.Collection;
-import java.util.Map;
-import java.util.function.Supplier;
 import javax.servlet.ServletResponse;
-import javax.servlet.http.Cookie;
 
-public interface HttpServletResponse extends ServletResponse
+public interface HttpServletResponse extends ServletResponse {
-{
+    public void addCookie(Cookie cookie);
-    Collection<String> getHeaderNames();
+    public boolean containsHeader(String name);
-    Collection<String> getHeaders(String p0);
+    public String encodeURL(String url);
-    String encodeRedirectURL(String p0);
+    public String encodeRedirectURL(String url);
-    String encodeRedirectUrl(String p0);
+    public String encodeUrl(String url);
-    String encodeURL(String p0);
+    public String encodeRedirectUrl(String url);
-    String encodeUrl(String p0);
+    public void sendError(int sc, String msg) throws IOException;
-    String getHeader(String p0);
+    public void sendError(int sc) throws IOException;
-    boolean containsHeader(String p0);
+    public void sendRedirect(String location) throws IOException;
-    default Supplier<Map<String, String>> getTrailerFields(){ return null; }
+    public void setDateHeader(String name, long date);
-    default void setTrailerFields(Supplier<Map<String, String>> p0){}
+    public void addDateHeader(String name, long date);
-    int getStatus();
+    public void setHeader(String name, String value);
-    static int SC_ACCEPTED = 0;
+    public void addHeader(String name, String value);
-    static int SC_BAD_GATEWAY = 0;
+    public void setIntHeader(String name, int value);
-    static int SC_BAD_REQUEST = 0;
+    public void addIntHeader(String name, int value);
-    static int SC_CONFLICT = 0;
+    public void setStatus(int sc);
-    static int SC_CONTINUE = 0;
+    public void setStatus(int sc, String sm);
-    static int SC_CREATED = 0;
+    public int getStatus();
-    static int SC_EXPECTATION_FAILED = 0;
+    public String getHeader(String name);
-    static int SC_FORBIDDEN = 0;
+    public Collection<String> getHeaders(String name);
-    static int SC_FOUND = 0;
+    public Collection<String> getHeaderNames();
-    static int SC_GATEWAY_TIMEOUT = 0;
+
-    static int SC_GONE = 0;
+
-    static int SC_HTTP_VERSION_NOT_SUPPORTED = 0;
+    public static final int SC_CONTINUE = 100;
-    static int SC_INTERNAL_SERVER_ERROR = 0;
+    public static final int SC_SWITCHING_PROTOCOLS = 101;
-    static int SC_LENGTH_REQUIRED = 0;
+    public static final int SC_OK = 200;
-    static int SC_METHOD_NOT_ALLOWED = 0;
+    public static final int SC_CREATED = 201;
-    static int SC_MOVED_PERMANENTLY = 0;
+    public static final int SC_ACCEPTED = 202;
-    static int SC_MOVED_TEMPORARILY = 0;
+    public static final int SC_NON_AUTHORITATIVE_INFORMATION = 203;
-    static int SC_MULTIPLE_CHOICES = 0;
+    public static final int SC_NO_CONTENT = 204;
-    static int SC_NON_AUTHORITATIVE_INFORMATION = 0;
+    public static final int SC_RESET_CONTENT = 205;
-    static int SC_NOT_ACCEPTABLE = 0;
+    public static final int SC_PARTIAL_CONTENT = 206;
-    static int SC_NOT_FOUND = 0;
+    public static final int SC_MULTIPLE_CHOICES = 300;
-    static int SC_NOT_IMPLEMENTED = 0;
+    public static final int SC_MOVED_PERMANENTLY = 301;
-    static int SC_NOT_MODIFIED = 0;
+    public static final int SC_MOVED_TEMPORARILY = 302;
-    static int SC_NO_CONTENT = 0;
+    public static final int SC_FOUND = 302;
-    static int SC_OK = 0;
+    public static final int SC_SEE_OTHER = 303;
-    static int SC_PARTIAL_CONTENT = 0;
+    public static final int SC_NOT_MODIFIED = 304;
-    static int SC_PAYMENT_REQUIRED = 0;
+    public static final int SC_USE_PROXY = 305;
-    static int SC_PRECONDITION_FAILED = 0;
+    public static final int SC_TEMPORARY_REDIRECT = 307;
-    static int SC_PROXY_AUTHENTICATION_REQUIRED = 0;
+    public static final int SC_BAD_REQUEST = 400;
-    static int SC_REQUESTED_RANGE_NOT_SATISFIABLE = 0;
+    public static final int SC_UNAUTHORIZED = 401;
-    static int SC_REQUEST_ENTITY_TOO_LARGE = 0;
+    public static final int SC_PAYMENT_REQUIRED = 402;
-    static int SC_REQUEST_TIMEOUT = 0;
+    public static final int SC_FORBIDDEN = 403;
-    static int SC_REQUEST_URI_TOO_LONG = 0;
+    public static final int SC_NOT_FOUND = 404;
-    static int SC_RESET_CONTENT = 0;
+    public static final int SC_METHOD_NOT_ALLOWED = 405;
-    static int SC_SEE_OTHER = 0;
+    public static final int SC_NOT_ACCEPTABLE = 406;
-    static int SC_SERVICE_UNAVAILABLE = 0;
+    public static final int SC_PROXY_AUTHENTICATION_REQUIRED = 407;
-    static int SC_SWITCHING_PROTOCOLS = 0;
+    public static final int SC_REQUEST_TIMEOUT = 408;
-    static int SC_TEMPORARY_REDIRECT = 0;
+    public static final int SC_CONFLICT = 409;
-    static int SC_UNAUTHORIZED = 0;
+    public static final int SC_GONE = 410;
-    static int SC_UNSUPPORTED_MEDIA_TYPE = 0;
+    public static final int SC_LENGTH_REQUIRED = 411;
-    static int SC_USE_PROXY = 0;
+    public static final int SC_PRECONDITION_FAILED = 412;
-    void addCookie(Cookie p0);
+    public static final int SC_REQUEST_ENTITY_TOO_LARGE = 413;
-    void addDateHeader(String p0, long p1);
+    public static final int SC_REQUEST_URI_TOO_LONG = 414;
-    void addHeader(String p0, String p1);
+    public static final int SC_UNSUPPORTED_MEDIA_TYPE = 415;
-    void addIntHeader(String p0, int p1);
+    public static final int SC_REQUESTED_RANGE_NOT_SATISFIABLE = 416;
-    void sendError(int p0);
+    public static final int SC_EXPECTATION_FAILED = 417;
-    void sendError(int p0, String p1);
+    public static final int SC_INTERNAL_SERVER_ERROR = 500;
-    void sendRedirect(String p0);
+    public static final int SC_NOT_IMPLEMENTED = 501;
-    void setDateHeader(String p0, long p1);
+    public static final int SC_BAD_GATEWAY = 502;
-    void setHeader(String p0, String p1);
+    public static final int SC_SERVICE_UNAVAILABLE = 503;
-    void setIntHeader(String p0, int p1);
+    public static final int SC_GATEWAY_TIMEOUT = 504;
-    void setStatus(int p0);
+    public static final int SC_HTTP_VERSION_NOT_SUPPORTED = 505;
-    void setStatus(int p0, String p1);
 }

java/ql/test/stubs/javax-servlet-2.5/javax/servlet/http/HttpSession.java

@@ -1,28 +1,47 @@
-// Generated automatically from javax.servlet.http.HttpSession for testing purposes
+/**
+ *
+ * Copyright 2003-2004 The Apache Software Foundation
+ *
+ *  Licensed under the Apache License, Version 2.0 (the "License");
+ *  you may not use this file except in compliance with the License.
+ *  You may obtain a copy of the License at
+ *
+ *     http://www.apache.org/licenses/LICENSE-2.0
+ *
+ *  Unless required by applicable law or agreed to in writing, software
+ *  distributed under the License is distributed on an "AS IS" BASIS,
+ *  WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ *  See the License for the specific language governing permissions and
+ *  limitations under the License.
+ */
+
+/*
+ * Adapted from the Java Servlet API version 2.4 as available at
+ *   http://search.maven.org/remotecontent?filepath=javax/servlet/servlet-api/2.4/servlet-api-2.4-sources.jar
+ * Only relevant stubs of this file have been retained for test purposes.
+ */
 
 package javax.servlet.http;
 
 import java.util.Enumeration;
 import javax.servlet.ServletContext;
-import javax.servlet.http.HttpSessionContext;
 
-public interface HttpSession
+public interface HttpSession {
-{
+    public long getCreationTime();
-    Enumeration<String> getAttributeNames();
+    public String getId();
-    HttpSessionContext getSessionContext();
+    public long getLastAccessedTime();
-    Object getAttribute(String p0);
+    public ServletContext getServletContext();
-    Object getValue(String p0);
+    public void setMaxInactiveInterval(int interval);
-    ServletContext getServletContext();
+    public int getMaxInactiveInterval();
-    String getId();
+    public HttpSessionContext getSessionContext();
-    String[] getValueNames();
+    public Object getAttribute(String name);
-    boolean isNew();
+    public Object getValue(String name);
-    int getMaxInactiveInterval();
+    public Enumeration getAttributeNames();
-    long getCreationTime();
+    public String[] getValueNames();
-    long getLastAccessedTime();
+    public void setAttribute(String name, Object value);
-    void invalidate();
+    public void putValue(String name, Object value);
-    void putValue(String p0, Object p1);
+    public void removeAttribute(String name);
-    void removeAttribute(String p0);
+    public void removeValue(String name);
-    void removeValue(String p0);
+    public void invalidate();
-    void setAttribute(String p0, Object p1);
+    public boolean isNew();
-    void setMaxInactiveInterval(int p0);
 }

java/ql/test/stubs/javax-servlet-2.5/javax/servlet/http/HttpSessionContext.java

@@ -1,12 +1,34 @@
-// Generated automatically from javax.servlet.http.HttpSessionContext for testing purposes
+/**
+ *
+ * Copyright 2003-2004 The Apache Software Foundation
+ *
+ *  Licensed under the Apache License, Version 2.0 (the "License");
+ *  you may not use this file except in compliance with the License.
+ *  You may obtain a copy of the License at
+ *
+ *     http://www.apache.org/licenses/LICENSE-2.0
+ *
+ *  Unless required by applicable law or agreed to in writing, software
+ *  distributed under the License is distributed on an "AS IS" BASIS,
+ *  WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ *  See the License for the specific language governing permissions and
+ *  limitations under the License.
+ */
+
+/*
+ * Adapted from the Java Servlet API version 2.4 as available at
+ *   http://search.maven.org/remotecontent?filepath=javax/servlet/servlet-api/2.4/servlet-api-2.4-sources.jar
+ * Only relevant stubs of this file have been retained for test purposes.
+ */
 
 package javax.servlet.http;
 
 import java.util.Enumeration;
-import javax.servlet.http.HttpSession;
 
-public interface HttpSessionContext
+/**
-{
+ * @deprecated
-    Enumeration<String> getIds();
+ */
-    HttpSession getSession(String p0);
+public interface HttpSessionContext {
+    public HttpSession getSession(String sessionId);
+    public Enumeration getIds();
 }