Add stubs

java/ql/test/stubs/apache-log4j-2.14.1/javax/servlet/AsyncContext.java

@@ -0,0 +1,30 @@
+// 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(Class<T> p0);
+    ServletRequest getRequest();
+    ServletResponse getResponse();
+    boolean hasOriginalRequestAndResponse();
+    long getTimeout();
+    static String ASYNC_CONTEXT_PATH = 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/apache-log4j-2.14.1/javax/servlet/AsyncEvent.java

@@ -0,0 +1,20 @@
+// 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/apache-log4j-2.14.1/javax/servlet/AsyncListener.java

@@ -0,0 +1,14 @@
+// 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/apache-log4j-2.14.1/javax/servlet/DispatcherType.java

@@ -0,0 +1,10 @@
+// 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/apache-log4j-2.14.1/javax/servlet/Filter.java

@@ -0,0 +1,15 @@
+// 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
+{
+    void destroy();
+    void doFilter(ServletRequest p0, ServletResponse p1, FilterChain p2);
+    void init(FilterConfig p0);
+}

java/ql/test/stubs/apache-log4j-2.14.1/javax/servlet/FilterChain.java

@@ -0,0 +1,11 @@
+// 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/apache-log4j-2.14.1/javax/servlet/FilterConfig.java

@@ -0,0 +1,14 @@
+// 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/apache-log4j-2.14.1/javax/servlet/FilterRegistration.java

@@ -0,0 +1,19 @@
+// 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/apache-log4j-2.14.1/javax/servlet/HttpConstraintElement.java

@@ -0,0 +1,16 @@
+// 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/apache-log4j-2.14.1/javax/servlet/HttpMethodConstraintElement.java

@@ -0,0 +1,13 @@
+// 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/apache-log4j-2.14.1/javax/servlet/MultipartConfigElement.java

@@ -0,0 +1,17 @@
+// 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/apache-log4j-2.14.1/javax/servlet/ReadListener.java

@@ -0,0 +1,12 @@
+// 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/apache-log4j-2.14.1/javax/servlet/Registration.java

@@ -0,0 +1,20 @@
+// 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/apache-log4j-2.14.1/javax/servlet/RequestDispatcher.java

@@ -0,0 +1,28 @@
+// 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_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_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/apache-log4j-2.14.1/javax/servlet/Servlet.java

@@ -0,0 +1,16 @@
+// 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/apache-log4j-2.14.1/javax/servlet/ServletConfig.java

@@ -0,0 +1,14 @@
+// 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/apache-log4j-2.14.1/javax/servlet/ServletContext.java

@@ -0,0 +1,76 @@
+// 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(Class<T> p0);
+    <T extends EventListener> void addListener(T p0);
+    <T extends Filter> T createFilter(Class<T> p0);
+    <T extends Servlet> T createServlet(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 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 getServerInfo();
+    String getServletContextName();
+    String getVirtualServerName();
+    URL getResource(String p0);
+    boolean setInitParameter(String p0, String p1);
+    int getEffectiveMajorVersion();
+    int getEffectiveMinorVersion();
+    int getMajorVersion();
+    int getMinorVersion();
+    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 setSessionTrackingModes(Set<SessionTrackingMode> p0);
+}

java/ql/test/stubs/apache-log4j-2.14.1/javax/servlet/ServletInputStream.java

@@ -0,0 +1,15 @@
+// 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/apache-log4j-2.14.1/javax/servlet/ServletOutputStream.java

@@ -0,0 +1,28 @@
+// 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/apache-log4j-2.14.1/javax/servlet/ServletRegistration.java

@@ -0,0 +1,23 @@
+// 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/apache-log4j-2.14.1/javax/servlet/ServletRequest.java

@@ -0,0 +1,55 @@
+// 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/apache-log4j-2.14.1/javax/servlet/ServletResponse.java

@@ -0,0 +1,27 @@
+// 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/apache-log4j-2.14.1/javax/servlet/ServletSecurityElement.java

@@ -0,0 +1,19 @@
+// 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/apache-log4j-2.14.1/javax/servlet/SessionCookieConfig.java

@@ -0,0 +1,22 @@
+// 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/apache-log4j-2.14.1/javax/servlet/SessionTrackingMode.java

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

java/ql/test/stubs/apache-log4j-2.14.1/javax/servlet/WriteListener.java

@@ -0,0 +1,11 @@
+// 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/apache-log4j-2.14.1/javax/servlet/annotation/HttpConstraint.java

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

java/ql/test/stubs/apache-log4j-2.14.1/javax/servlet/annotation/HttpMethodConstraint.java

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

java/ql/test/stubs/apache-log4j-2.14.1/javax/servlet/annotation/MultipartConfig.java

@@ -0,0 +1,13 @@
+// Generated automatically from javax.servlet.annotation.MultipartConfig for testing purposes
+
+package javax.servlet.annotation;
+
+import java.lang.annotation.Annotation;
+
+public interface MultipartConfig extends Annotation
+{
+    String location();
+    int fileSizeThreshold();
+    long maxFileSize();
+    long maxRequestSize();
+}

java/ql/test/stubs/apache-log4j-2.14.1/javax/servlet/annotation/ServletSecurity.java

@@ -0,0 +1,23 @@
+// Generated automatically from javax.servlet.annotation.ServletSecurity for testing purposes
+
+package javax.servlet.annotation;
+
+import java.lang.annotation.Annotation;
+import javax.servlet.annotation.HttpConstraint;
+import javax.servlet.annotation.HttpMethodConstraint;
+
+public interface ServletSecurity extends Annotation
+{
+    HttpConstraint value();
+    HttpMethodConstraint[] httpMethodConstraints();
+    static public enum EmptyRoleSemantic
+    {
+        DENY, PERMIT;
+        private EmptyRoleSemantic() {}
+    }
+    static public enum TransportGuarantee
+    {
+        CONFIDENTIAL, NONE;
+        private TransportGuarantee() {}
+    }
+}

java/ql/test/stubs/apache-log4j-2.14.1/javax/servlet/descriptor/JspConfigDescriptor.java

@@ -0,0 +1,13 @@
+// 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/apache-log4j-2.14.1/javax/servlet/descriptor/JspPropertyGroupDescriptor.java

@@ -0,0 +1,21 @@
+// 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/apache-log4j-2.14.1/javax/servlet/descriptor/TaglibDescriptor.java

@@ -0,0 +1,10 @@
+// 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/apache-log4j-2.14.1/javax/servlet/http/Cookie.java

@@ -0,0 +1,29 @@
+// 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/apache-log4j-2.14.1/javax/servlet/http/HttpServletRequest.java

@@ -0,0 +1,53 @@
+// 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 javax.servlet.ServletRequest;
+import javax.servlet.http.Cookie;
+import javax.servlet.http.HttpServletResponse;
+import javax.servlet.http.HttpSession;
+import javax.servlet.http.HttpUpgradeHandler;
+import javax.servlet.http.Part;
+
+public interface HttpServletRequest extends ServletRequest
+{
+    <T extends HttpUpgradeHandler> T upgrade(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);
+    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/apache-log4j-2.14.1/javax/servlet/http/HttpServletResponse.java

@@ -0,0 +1,73 @@
+// Generated automatically from javax.servlet.http.HttpServletResponse for testing purposes
+
+package javax.servlet.http;
+
+import java.util.Collection;
+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);
+    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/apache-log4j-2.14.1/javax/servlet/http/HttpSession.java

@@ -0,0 +1,28 @@
+// 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/apache-log4j-2.14.1/javax/servlet/http/HttpSessionContext.java

@@ -0,0 +1,12 @@
+// 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/apache-log4j-2.14.1/javax/servlet/http/HttpUpgradeHandler.java

@@ -0,0 +1,11 @@
+// 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/apache-log4j-2.14.1/javax/servlet/http/Part.java

@@ -0,0 +1,20 @@
+// 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/apache-log4j-2.14.1/javax/servlet/http/WebConnection.java

@@ -0,0 +1,12 @@
+// 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/apache-log4j-2.14.1/org/apache/logging/log4j/Level.java

@@ -0,0 +1,40 @@
+// Generated automatically from org.apache.logging.log4j.Level for testing purposes
+
+package org.apache.logging.log4j;
+
+import java.io.Serializable;
+import org.apache.logging.log4j.spi.StandardLevel;
+
+public class Level implements Comparable<Level>, Serializable
+{
+    protected Level() {}
+    protected Object readResolve(){ return null; }
+    public Class<Level> getDeclaringClass(){ return null; }
+    public Level clone(){ return null; }
+    public StandardLevel getStandardLevel(){ return null; }
+    public String name(){ return null; }
+    public String toString(){ return null; }
+    public boolean equals(Object p0){ return false; }
+    public boolean isInRange(Level p0, Level p1){ return false; }
+    public boolean isLessSpecificThan(Level p0){ return false; }
+    public boolean isMoreSpecificThan(Level p0){ return false; }
+    public int compareTo(Level p0){ return 0; }
+    public int hashCode(){ return 0; }
+    public int intLevel(){ return 0; }
+    public static <T extends Enum<T>> T valueOf(Class<T> p0, String p1){ return null; }
+    public static Level ALL = null;
+    public static Level DEBUG = null;
+    public static Level ERROR = null;
+    public static Level FATAL = null;
+    public static Level INFO = null;
+    public static Level OFF = null;
+    public static Level TRACE = null;
+    public static Level WARN = null;
+    public static Level forName(String p0, int p1){ return null; }
+    public static Level getLevel(String p0){ return null; }
+    public static Level toLevel(String p0){ return null; }
+    public static Level toLevel(String p0, Level p1){ return null; }
+    public static Level valueOf(String p0){ return null; }
+    public static Level[] values(){ return null; }
+    public static String CATEGORY = null;
+}

java/ql/test/stubs/apache-log4j-2.14.1/org/apache/logging/log4j/LogBuilder.java

@@ -0,0 +1,34 @@
+// Generated automatically from org.apache.logging.log4j.LogBuilder for testing purposes
+
+package org.apache.logging.log4j;
+
+import org.apache.logging.log4j.Marker;
+import org.apache.logging.log4j.message.Message;
+import org.apache.logging.log4j.util.Supplier;
+
+public interface LogBuilder
+{
+    default LogBuilder withLocation(){ return null; }
+    default LogBuilder withLocation(StackTraceElement p0){ return null; }
+    default LogBuilder withMarker(Marker p0){ return null; }
+    default LogBuilder withThrowable(Throwable p0){ return null; }
+    default void log(){}
+    default void log(CharSequence p0){}
+    default void log(Message p0){}
+    default void log(Object p0){}
+    default void log(String p0){}
+    default void log(String p0, Object p1){}
+    default void log(String p0, Object p1, Object p2){}
+    default void log(String p0, Object p1, Object p2, Object p3){}
+    default void log(String p0, Object p1, Object p2, Object p3, Object p4){}
+    default void log(String p0, Object p1, Object p2, Object p3, Object p4, Object p5){}
+    default void log(String p0, Object p1, Object p2, Object p3, Object p4, Object p5, Object p6){}
+    default void log(String p0, Object p1, Object p2, Object p3, Object p4, Object p5, Object p6, Object p7){}
+    default void log(String p0, Object p1, Object p2, Object p3, Object p4, Object p5, Object p6, Object p7, Object p8){}
+    default void log(String p0, Object p1, Object p2, Object p3, Object p4, Object p5, Object p6, Object p7, Object p8, Object p9){}
+    default void log(String p0, Object p1, Object p2, Object p3, Object p4, Object p5, Object p6, Object p7, Object p8, Object p9, Object p10){}
+    default void log(String p0, Object... p1){}
+    default void log(String p0, Supplier<? extends Object>... p1){}
+    default void log(Supplier<Message> p0){}
+    static LogBuilder NOOP = null;
+}

java/ql/test/stubs/apache-log4j-2.14.1/org/apache/logging/log4j/Logger.java

@@ -0,0 +1,399 @@
+// Generated automatically from org.apache.logging.log4j.Logger for testing purposes
+
+package org.apache.logging.log4j;
+
+import org.apache.logging.log4j.Level;
+import org.apache.logging.log4j.LogBuilder;
+import org.apache.logging.log4j.Marker;
+import org.apache.logging.log4j.message.EntryMessage;
+import org.apache.logging.log4j.message.Message;
+import org.apache.logging.log4j.message.MessageFactory;
+import org.apache.logging.log4j.util.MessageSupplier;
+import org.apache.logging.log4j.util.Supplier;
+
+public interface Logger
+{
+    <MF extends MessageFactory> MF getMessageFactory();
+    <R> R exit(R p0);
+    <R> R traceExit(EntryMessage p0, R p1);
+    <R> R traceExit(Message p0, R p1);
+    <R> R traceExit(R p0);
+    <R> R traceExit(String p0, R p1);
+    <T extends Throwable> T throwing(Level p0, T p1);
+    <T extends Throwable> T throwing(T p0);
+    EntryMessage traceEntry();
+    EntryMessage traceEntry(Message p0);
+    EntryMessage traceEntry(String p0, Object... p1);
+    EntryMessage traceEntry(String p0, Supplier<? extends Object>... p1);
+    EntryMessage traceEntry(Supplier<? extends Object>... p0);
+    Level getLevel();
+    String getName();
+    boolean isDebugEnabled();
+    boolean isDebugEnabled(Marker p0);
+    boolean isEnabled(Level p0);
+    boolean isEnabled(Level p0, Marker p1);
+    boolean isErrorEnabled();
+    boolean isErrorEnabled(Marker p0);
+    boolean isFatalEnabled();
+    boolean isFatalEnabled(Marker p0);
+    boolean isInfoEnabled();
+    boolean isInfoEnabled(Marker p0);
+    boolean isTraceEnabled();
+    boolean isTraceEnabled(Marker p0);
+    boolean isWarnEnabled();
+    boolean isWarnEnabled(Marker p0);
+    default LogBuilder always(){ return null; }
+    default LogBuilder atDebug(){ return null; }
+    default LogBuilder atError(){ return null; }
+    default LogBuilder atFatal(){ return null; }
+    default LogBuilder atInfo(){ return null; }
+    default LogBuilder atLevel(Level p0){ return null; }
+    default LogBuilder atTrace(){ return null; }
+    default LogBuilder atWarn(){ return null; }
+    default void logMessage(Level p0, Marker p1, String p2, StackTraceElement p3, Message p4, Throwable p5){}
+    void catching(Level p0, Throwable p1);
+    void catching(Throwable p0);
+    void debug(CharSequence p0);
+    void debug(CharSequence p0, Throwable p1);
+    void debug(Marker p0, CharSequence p1);
+    void debug(Marker p0, CharSequence p1, Throwable p2);
+    void debug(Marker p0, Message p1);
+    void debug(Marker p0, Message p1, Throwable p2);
+    void debug(Marker p0, MessageSupplier p1);
+    void debug(Marker p0, MessageSupplier p1, Throwable p2);
+    void debug(Marker p0, Object p1);
+    void debug(Marker p0, Object p1, Throwable p2);
+    void debug(Marker p0, String p1);
+    void debug(Marker p0, String p1, Object p2);
+    void debug(Marker p0, String p1, Object p2, Object p3);
+    void debug(Marker p0, String p1, Object p2, Object p3, Object p4);
+    void debug(Marker p0, String p1, Object p2, Object p3, Object p4, Object p5);
+    void debug(Marker p0, String p1, Object p2, Object p3, Object p4, Object p5, Object p6);
+    void debug(Marker p0, String p1, Object p2, Object p3, Object p4, Object p5, Object p6, Object p7);
+    void debug(Marker p0, String p1, Object p2, Object p3, Object p4, Object p5, Object p6, Object p7, Object p8);
+    void debug(Marker p0, String p1, Object p2, Object p3, Object p4, Object p5, Object p6, Object p7, Object p8, Object p9);
+    void debug(Marker p0, String p1, Object p2, Object p3, Object p4, Object p5, Object p6, Object p7, Object p8, Object p9, Object p10);
+    void debug(Marker p0, String p1, Object p2, Object p3, Object p4, Object p5, Object p6, Object p7, Object p8, Object p9, Object p10, Object p11);
+    void debug(Marker p0, String p1, Object... p2);
+    void debug(Marker p0, String p1, Supplier<? extends Object>... p2);
+    void debug(Marker p0, String p1, Throwable p2);
+    void debug(Marker p0, Supplier<? extends Object> p1);
+    void debug(Marker p0, Supplier<? extends Object> p1, Throwable p2);
+    void debug(Message p0);
+    void debug(Message p0, Throwable p1);
+    void debug(MessageSupplier p0);
+    void debug(MessageSupplier p0, Throwable p1);
+    void debug(Object p0);
+    void debug(Object p0, Throwable p1);
+    void debug(String p0);
+    void debug(String p0, Object p1);
+    void debug(String p0, Object p1, Object p2);
+    void debug(String p0, Object p1, Object p2, Object p3);
+    void debug(String p0, Object p1, Object p2, Object p3, Object p4);
+    void debug(String p0, Object p1, Object p2, Object p3, Object p4, Object p5);
+    void debug(String p0, Object p1, Object p2, Object p3, Object p4, Object p5, Object p6);
+    void debug(String p0, Object p1, Object p2, Object p3, Object p4, Object p5, Object p6, Object p7);
+    void debug(String p0, Object p1, Object p2, Object p3, Object p4, Object p5, Object p6, Object p7, Object p8);
+    void debug(String p0, Object p1, Object p2, Object p3, Object p4, Object p5, Object p6, Object p7, Object p8, Object p9);
+    void debug(String p0, Object p1, Object p2, Object p3, Object p4, Object p5, Object p6, Object p7, Object p8, Object p9, Object p10);
+    void debug(String p0, Object... p1);
+    void debug(String p0, Supplier<? extends Object>... p1);
+    void debug(String p0, Throwable p1);
+    void debug(Supplier<? extends Object> p0);
+    void debug(Supplier<? extends Object> p0, Throwable p1);
+    void entry();
+    void entry(Object... p0);
+    void error(CharSequence p0);
+    void error(CharSequence p0, Throwable p1);
+    void error(Marker p0, CharSequence p1);
+    void error(Marker p0, CharSequence p1, Throwable p2);
+    void error(Marker p0, Message p1);
+    void error(Marker p0, Message p1, Throwable p2);
+    void error(Marker p0, MessageSupplier p1);
+    void error(Marker p0, MessageSupplier p1, Throwable p2);
+    void error(Marker p0, Object p1);
+    void error(Marker p0, Object p1, Throwable p2);
+    void error(Marker p0, String p1);
+    void error(Marker p0, String p1, Object p2);
+    void error(Marker p0, String p1, Object p2, Object p3);
+    void error(Marker p0, String p1, Object p2, Object p3, Object p4);
+    void error(Marker p0, String p1, Object p2, Object p3, Object p4, Object p5);
+    void error(Marker p0, String p1, Object p2, Object p3, Object p4, Object p5, Object p6);
+    void error(Marker p0, String p1, Object p2, Object p3, Object p4, Object p5, Object p6, Object p7);
+    void error(Marker p0, String p1, Object p2, Object p3, Object p4, Object p5, Object p6, Object p7, Object p8);
+    void error(Marker p0, String p1, Object p2, Object p3, Object p4, Object p5, Object p6, Object p7, Object p8, Object p9);
+    void error(Marker p0, String p1, Object p2, Object p3, Object p4, Object p5, Object p6, Object p7, Object p8, Object p9, Object p10);
+    void error(Marker p0, String p1, Object p2, Object p3, Object p4, Object p5, Object p6, Object p7, Object p8, Object p9, Object p10, Object p11);
+    void error(Marker p0, String p1, Object... p2);
+    void error(Marker p0, String p1, Supplier<? extends Object>... p2);
+    void error(Marker p0, String p1, Throwable p2);
+    void error(Marker p0, Supplier<? extends Object> p1);
+    void error(Marker p0, Supplier<? extends Object> p1, Throwable p2);
+    void error(Message p0);
+    void error(Message p0, Throwable p1);
+    void error(MessageSupplier p0);
+    void error(MessageSupplier p0, Throwable p1);
+    void error(Object p0);
+    void error(Object p0, Throwable p1);
+    void error(String p0);
+    void error(String p0, Object p1);
+    void error(String p0, Object p1, Object p2);
+    void error(String p0, Object p1, Object p2, Object p3);
+    void error(String p0, Object p1, Object p2, Object p3, Object p4);
+    void error(String p0, Object p1, Object p2, Object p3, Object p4, Object p5);
+    void error(String p0, Object p1, Object p2, Object p3, Object p4, Object p5, Object p6);
+    void error(String p0, Object p1, Object p2, Object p3, Object p4, Object p5, Object p6, Object p7);
+    void error(String p0, Object p1, Object p2, Object p3, Object p4, Object p5, Object p6, Object p7, Object p8);
+    void error(String p0, Object p1, Object p2, Object p3, Object p4, Object p5, Object p6, Object p7, Object p8, Object p9);
+    void error(String p0, Object p1, Object p2, Object p3, Object p4, Object p5, Object p6, Object p7, Object p8, Object p9, Object p10);
+    void error(String p0, Object... p1);
+    void error(String p0, Supplier<? extends Object>... p1);
+    void error(String p0, Throwable p1);
+    void error(Supplier<? extends Object> p0);
+    void error(Supplier<? extends Object> p0, Throwable p1);
+    void exit();
+    void fatal(CharSequence p0);
+    void fatal(CharSequence p0, Throwable p1);
+    void fatal(Marker p0, CharSequence p1);
+    void fatal(Marker p0, CharSequence p1, Throwable p2);
+    void fatal(Marker p0, Message p1);
+    void fatal(Marker p0, Message p1, Throwable p2);
+    void fatal(Marker p0, MessageSupplier p1);
+    void fatal(Marker p0, MessageSupplier p1, Throwable p2);
+    void fatal(Marker p0, Object p1);
+    void fatal(Marker p0, Object p1, Throwable p2);
+    void fatal(Marker p0, String p1);
+    void fatal(Marker p0, String p1, Object p2);
+    void fatal(Marker p0, String p1, Object p2, Object p3);
+    void fatal(Marker p0, String p1, Object p2, Object p3, Object p4);
+    void fatal(Marker p0, String p1, Object p2, Object p3, Object p4, Object p5);
+    void fatal(Marker p0, String p1, Object p2, Object p3, Object p4, Object p5, Object p6);
+    void fatal(Marker p0, String p1, Object p2, Object p3, Object p4, Object p5, Object p6, Object p7);
+    void fatal(Marker p0, String p1, Object p2, Object p3, Object p4, Object p5, Object p6, Object p7, Object p8);
+    void fatal(Marker p0, String p1, Object p2, Object p3, Object p4, Object p5, Object p6, Object p7, Object p8, Object p9);
+    void fatal(Marker p0, String p1, Object p2, Object p3, Object p4, Object p5, Object p6, Object p7, Object p8, Object p9, Object p10);
+    void fatal(Marker p0, String p1, Object p2, Object p3, Object p4, Object p5, Object p6, Object p7, Object p8, Object p9, Object p10, Object p11);
+    void fatal(Marker p0, String p1, Object... p2);
+    void fatal(Marker p0, String p1, Supplier<? extends Object>... p2);
+    void fatal(Marker p0, String p1, Throwable p2);
+    void fatal(Marker p0, Supplier<? extends Object> p1);
+    void fatal(Marker p0, Supplier<? extends Object> p1, Throwable p2);
+    void fatal(Message p0);
+    void fatal(Message p0, Throwable p1);
+    void fatal(MessageSupplier p0);
+    void fatal(MessageSupplier p0, Throwable p1);
+    void fatal(Object p0);
+    void fatal(Object p0, Throwable p1);
+    void fatal(String p0);
+    void fatal(String p0, Object p1);
+    void fatal(String p0, Object p1, Object p2);
+    void fatal(String p0, Object p1, Object p2, Object p3);
+    void fatal(String p0, Object p1, Object p2, Object p3, Object p4);
+    void fatal(String p0, Object p1, Object p2, Object p3, Object p4, Object p5);
+    void fatal(String p0, Object p1, Object p2, Object p3, Object p4, Object p5, Object p6);
+    void fatal(String p0, Object p1, Object p2, Object p3, Object p4, Object p5, Object p6, Object p7);
+    void fatal(String p0, Object p1, Object p2, Object p3, Object p4, Object p5, Object p6, Object p7, Object p8);
+    void fatal(String p0, Object p1, Object p2, Object p3, Object p4, Object p5, Object p6, Object p7, Object p8, Object p9);
+    void fatal(String p0, Object p1, Object p2, Object p3, Object p4, Object p5, Object p6, Object p7, Object p8, Object p9, Object p10);
+    void fatal(String p0, Object... p1);
+    void fatal(String p0, Supplier<? extends Object>... p1);
+    void fatal(String p0, Throwable p1);
+    void fatal(Supplier<? extends Object> p0);
+    void fatal(Supplier<? extends Object> p0, Throwable p1);
+    void info(CharSequence p0);
+    void info(CharSequence p0, Throwable p1);
+    void info(Marker p0, CharSequence p1);
+    void info(Marker p0, CharSequence p1, Throwable p2);
+    void info(Marker p0, Message p1);
+    void info(Marker p0, Message p1, Throwable p2);
+    void info(Marker p0, MessageSupplier p1);
+    void info(Marker p0, MessageSupplier p1, Throwable p2);
+    void info(Marker p0, Object p1);
+    void info(Marker p0, Object p1, Throwable p2);
+    void info(Marker p0, String p1);
+    void info(Marker p0, String p1, Object p2);
+    void info(Marker p0, String p1, Object p2, Object p3);
+    void info(Marker p0, String p1, Object p2, Object p3, Object p4);
+    void info(Marker p0, String p1, Object p2, Object p3, Object p4, Object p5);
+    void info(Marker p0, String p1, Object p2, Object p3, Object p4, Object p5, Object p6);
+    void info(Marker p0, String p1, Object p2, Object p3, Object p4, Object p5, Object p6, Object p7);
+    void info(Marker p0, String p1, Object p2, Object p3, Object p4, Object p5, Object p6, Object p7, Object p8);
+    void info(Marker p0, String p1, Object p2, Object p3, Object p4, Object p5, Object p6, Object p7, Object p8, Object p9);
+    void info(Marker p0, String p1, Object p2, Object p3, Object p4, Object p5, Object p6, Object p7, Object p8, Object p9, Object p10);
+    void info(Marker p0, String p1, Object p2, Object p3, Object p4, Object p5, Object p6, Object p7, Object p8, Object p9, Object p10, Object p11);
+    void info(Marker p0, String p1, Object... p2);
+    void info(Marker p0, String p1, Supplier<? extends Object>... p2);
+    void info(Marker p0, String p1, Throwable p2);
+    void info(Marker p0, Supplier<? extends Object> p1);
+    void info(Marker p0, Supplier<? extends Object> p1, Throwable p2);
+    void info(Message p0);
+    void info(Message p0, Throwable p1);
+    void info(MessageSupplier p0);
+    void info(MessageSupplier p0, Throwable p1);
+    void info(Object p0);
+    void info(Object p0, Throwable p1);
+    void info(String p0);
+    void info(String p0, Object p1);
+    void info(String p0, Object p1, Object p2);
+    void info(String p0, Object p1, Object p2, Object p3);
+    void info(String p0, Object p1, Object p2, Object p3, Object p4);
+    void info(String p0, Object p1, Object p2, Object p3, Object p4, Object p5);
+    void info(String p0, Object p1, Object p2, Object p3, Object p4, Object p5, Object p6);
+    void info(String p0, Object p1, Object p2, Object p3, Object p4, Object p5, Object p6, Object p7);
+    void info(String p0, Object p1, Object p2, Object p3, Object p4, Object p5, Object p6, Object p7, Object p8);
+    void info(String p0, Object p1, Object p2, Object p3, Object p4, Object p5, Object p6, Object p7, Object p8, Object p9);
+    void info(String p0, Object p1, Object p2, Object p3, Object p4, Object p5, Object p6, Object p7, Object p8, Object p9, Object p10);
+    void info(String p0, Object... p1);
+    void info(String p0, Supplier<? extends Object>... p1);
+    void info(String p0, Throwable p1);
+    void info(Supplier<? extends Object> p0);
+    void info(Supplier<? extends Object> p0, Throwable p1);
+    void log(Level p0, CharSequence p1);
+    void log(Level p0, CharSequence p1, Throwable p2);
+    void log(Level p0, Marker p1, CharSequence p2);
+    void log(Level p0, Marker p1, CharSequence p2, Throwable p3);
+    void log(Level p0, Marker p1, Message p2);
+    void log(Level p0, Marker p1, Message p2, Throwable p3);
+    void log(Level p0, Marker p1, MessageSupplier p2);
+    void log(Level p0, Marker p1, MessageSupplier p2, Throwable p3);
+    void log(Level p0, Marker p1, Object p2);
+    void log(Level p0, Marker p1, Object p2, Throwable p3);
+    void log(Level p0, Marker p1, String p2);
+    void log(Level p0, Marker p1, String p2, Object p3);
+    void log(Level p0, Marker p1, String p2, Object p3, Object p4);
+    void log(Level p0, Marker p1, String p2, Object p3, Object p4, Object p5);
+    void log(Level p0, Marker p1, String p2, Object p3, Object p4, Object p5, Object p6);
+    void log(Level p0, Marker p1, String p2, Object p3, Object p4, Object p5, Object p6, Object p7);
+    void log(Level p0, Marker p1, String p2, Object p3, Object p4, Object p5, Object p6, Object p7, Object p8);
+    void log(Level p0, Marker p1, String p2, Object p3, Object p4, Object p5, Object p6, Object p7, Object p8, Object p9);
+    void log(Level p0, Marker p1, String p2, Object p3, Object p4, Object p5, Object p6, Object p7, Object p8, Object p9, Object p10);
+    void log(Level p0, Marker p1, String p2, Object p3, Object p4, Object p5, Object p6, Object p7, Object p8, Object p9, Object p10, Object p11);
+    void log(Level p0, Marker p1, String p2, Object p3, Object p4, Object p5, Object p6, Object p7, Object p8, Object p9, Object p10, Object p11, Object p12);
+    void log(Level p0, Marker p1, String p2, Object... p3);
+    void log(Level p0, Marker p1, String p2, Supplier<? extends Object>... p3);
+    void log(Level p0, Marker p1, String p2, Throwable p3);
+    void log(Level p0, Marker p1, Supplier<? extends Object> p2);
+    void log(Level p0, Marker p1, Supplier<? extends Object> p2, Throwable p3);
+    void log(Level p0, Message p1);
+    void log(Level p0, Message p1, Throwable p2);
+    void log(Level p0, MessageSupplier p1);
+    void log(Level p0, MessageSupplier p1, Throwable p2);
+    void log(Level p0, Object p1);
+    void log(Level p0, Object p1, Throwable p2);
+    void log(Level p0, String p1);
+    void log(Level p0, String p1, Object p2);
+    void log(Level p0, String p1, Object p2, Object p3);
+    void log(Level p0, String p1, Object p2, Object p3, Object p4);
+    void log(Level p0, String p1, Object p2, Object p3, Object p4, Object p5);
+    void log(Level p0, String p1, Object p2, Object p3, Object p4, Object p5, Object p6);
+    void log(Level p0, String p1, Object p2, Object p3, Object p4, Object p5, Object p6, Object p7);
+    void log(Level p0, String p1, Object p2, Object p3, Object p4, Object p5, Object p6, Object p7, Object p8);
+    void log(Level p0, String p1, Object p2, Object p3, Object p4, Object p5, Object p6, Object p7, Object p8, Object p9);
+    void log(Level p0, String p1, Object p2, Object p3, Object p4, Object p5, Object p6, Object p7, Object p8, Object p9, Object p10);
+    void log(Level p0, String p1, Object p2, Object p3, Object p4, Object p5, Object p6, Object p7, Object p8, Object p9, Object p10, Object p11);
+    void log(Level p0, String p1, Object... p2);
+    void log(Level p0, String p1, Supplier<? extends Object>... p2);
+    void log(Level p0, String p1, Throwable p2);
+    void log(Level p0, Supplier<? extends Object> p1);
+    void log(Level p0, Supplier<? extends Object> p1, Throwable p2);
+    void printf(Level p0, Marker p1, String p2, Object... p3);
+    void printf(Level p0, String p1, Object... p2);
+    void trace(CharSequence p0);
+    void trace(CharSequence p0, Throwable p1);
+    void trace(Marker p0, CharSequence p1);
+    void trace(Marker p0, CharSequence p1, Throwable p2);
+    void trace(Marker p0, Message p1);
+    void trace(Marker p0, Message p1, Throwable p2);
+    void trace(Marker p0, MessageSupplier p1);
+    void trace(Marker p0, MessageSupplier p1, Throwable p2);
+    void trace(Marker p0, Object p1);
+    void trace(Marker p0, Object p1, Throwable p2);
+    void trace(Marker p0, String p1);
+    void trace(Marker p0, String p1, Object p2);
+    void trace(Marker p0, String p1, Object p2, Object p3);
+    void trace(Marker p0, String p1, Object p2, Object p3, Object p4);
+    void trace(Marker p0, String p1, Object p2, Object p3, Object p4, Object p5);
+    void trace(Marker p0, String p1, Object p2, Object p3, Object p4, Object p5, Object p6);
+    void trace(Marker p0, String p1, Object p2, Object p3, Object p4, Object p5, Object p6, Object p7);
+    void trace(Marker p0, String p1, Object p2, Object p3, Object p4, Object p5, Object p6, Object p7, Object p8);
+    void trace(Marker p0, String p1, Object p2, Object p3, Object p4, Object p5, Object p6, Object p7, Object p8, Object p9);
+    void trace(Marker p0, String p1, Object p2, Object p3, Object p4, Object p5, Object p6, Object p7, Object p8, Object p9, Object p10);
+    void trace(Marker p0, String p1, Object p2, Object p3, Object p4, Object p5, Object p6, Object p7, Object p8, Object p9, Object p10, Object p11);
+    void trace(Marker p0, String p1, Object... p2);
+    void trace(Marker p0, String p1, Supplier<? extends Object>... p2);
+    void trace(Marker p0, String p1, Throwable p2);
+    void trace(Marker p0, Supplier<? extends Object> p1);
+    void trace(Marker p0, Supplier<? extends Object> p1, Throwable p2);
+    void trace(Message p0);
+    void trace(Message p0, Throwable p1);
+    void trace(MessageSupplier p0);
+    void trace(MessageSupplier p0, Throwable p1);
+    void trace(Object p0);
+    void trace(Object p0, Throwable p1);
+    void trace(String p0);
+    void trace(String p0, Object p1);
+    void trace(String p0, Object p1, Object p2);
+    void trace(String p0, Object p1, Object p2, Object p3);
+    void trace(String p0, Object p1, Object p2, Object p3, Object p4);
+    void trace(String p0, Object p1, Object p2, Object p3, Object p4, Object p5);
+    void trace(String p0, Object p1, Object p2, Object p3, Object p4, Object p5, Object p6);
+    void trace(String p0, Object p1, Object p2, Object p3, Object p4, Object p5, Object p6, Object p7);
+    void trace(String p0, Object p1, Object p2, Object p3, Object p4, Object p5, Object p6, Object p7, Object p8);
+    void trace(String p0, Object p1, Object p2, Object p3, Object p4, Object p5, Object p6, Object p7, Object p8, Object p9);
+    void trace(String p0, Object p1, Object p2, Object p3, Object p4, Object p5, Object p6, Object p7, Object p8, Object p9, Object p10);
+    void trace(String p0, Object... p1);
+    void trace(String p0, Supplier<? extends Object>... p1);
+    void trace(String p0, Throwable p1);
+    void trace(Supplier<? extends Object> p0);
+    void trace(Supplier<? extends Object> p0, Throwable p1);
+    void traceExit();
+    void traceExit(EntryMessage p0);
+    void warn(CharSequence p0);
+    void warn(CharSequence p0, Throwable p1);
+    void warn(Marker p0, CharSequence p1);
+    void warn(Marker p0, CharSequence p1, Throwable p2);
+    void warn(Marker p0, Message p1);
+    void warn(Marker p0, Message p1, Throwable p2);
+    void warn(Marker p0, MessageSupplier p1);
+    void warn(Marker p0, MessageSupplier p1, Throwable p2);
+    void warn(Marker p0, Object p1);
+    void warn(Marker p0, Object p1, Throwable p2);
+    void warn(Marker p0, String p1);
+    void warn(Marker p0, String p1, Object p2);
+    void warn(Marker p0, String p1, Object p2, Object p3);
+    void warn(Marker p0, String p1, Object p2, Object p3, Object p4);
+    void warn(Marker p0, String p1, Object p2, Object p3, Object p4, Object p5);
+    void warn(Marker p0, String p1, Object p2, Object p3, Object p4, Object p5, Object p6);
+    void warn(Marker p0, String p1, Object p2, Object p3, Object p4, Object p5, Object p6, Object p7);
+    void warn(Marker p0, String p1, Object p2, Object p3, Object p4, Object p5, Object p6, Object p7, Object p8);
+    void warn(Marker p0, String p1, Object p2, Object p3, Object p4, Object p5, Object p6, Object p7, Object p8, Object p9);
+    void warn(Marker p0, String p1, Object p2, Object p3, Object p4, Object p5, Object p6, Object p7, Object p8, Object p9, Object p10);
+    void warn(Marker p0, String p1, Object p2, Object p3, Object p4, Object p5, Object p6, Object p7, Object p8, Object p9, Object p10, Object p11);
+    void warn(Marker p0, String p1, Object... p2);
+    void warn(Marker p0, String p1, Supplier<? extends Object>... p2);
+    void warn(Marker p0, String p1, Throwable p2);
+    void warn(Marker p0, Supplier<? extends Object> p1);
+    void warn(Marker p0, Supplier<? extends Object> p1, Throwable p2);
+    void warn(Message p0);
+    void warn(Message p0, Throwable p1);
+    void warn(MessageSupplier p0);
+    void warn(MessageSupplier p0, Throwable p1);
+    void warn(Object p0);
+    void warn(Object p0, Throwable p1);
+    void warn(String p0);
+    void warn(String p0, Object p1);
+    void warn(String p0, Object p1, Object p2);
+    void warn(String p0, Object p1, Object p2, Object p3);
+    void warn(String p0, Object p1, Object p2, Object p3, Object p4);
+    void warn(String p0, Object p1, Object p2, Object p3, Object p4, Object p5);
+    void warn(String p0, Object p1, Object p2, Object p3, Object p4, Object p5, Object p6);
+    void warn(String p0, Object p1, Object p2, Object p3, Object p4, Object p5, Object p6, Object p7);
+    void warn(String p0, Object p1, Object p2, Object p3, Object p4, Object p5, Object p6, Object p7, Object p8);
+    void warn(String p0, Object p1, Object p2, Object p3, Object p4, Object p5, Object p6, Object p7, Object p8, Object p9);
+    void warn(String p0, Object p1, Object p2, Object p3, Object p4, Object p5, Object p6, Object p7, Object p8, Object p9, Object p10);
+    void warn(String p0, Object... p1);
+    void warn(String p0, Supplier<? extends Object>... p1);
+    void warn(String p0, Throwable p1);
+    void warn(Supplier<? extends Object> p0);
+    void warn(Supplier<? extends Object> p0, Throwable p1);
+}

java/ql/test/stubs/apache-log4j-2.14.1/org/apache/logging/log4j/Marker.java

@@ -0,0 +1,19 @@
+// Generated automatically from org.apache.logging.log4j.Marker for testing purposes
+
+package org.apache.logging.log4j;
+
+import java.io.Serializable;
+
+public interface Marker extends Serializable
+{
+    Marker addParents(Marker... p0);
+    Marker setParents(Marker... p0);
+    Marker[] getParents();
+    String getName();
+    boolean equals(Object p0);
+    boolean hasParents();
+    boolean isInstanceOf(Marker p0);
+    boolean isInstanceOf(String p0);
+    boolean remove(Marker p0);
+    int hashCode();
+}

java/ql/test/stubs/apache-log4j-2.14.1/org/apache/logging/log4j/ThreadContext.java

@@ -0,0 +1,52 @@
+// Generated automatically from org.apache.logging.log4j.ThreadContext for testing purposes
+
+package org.apache.logging.log4j;
+
+import java.io.Serializable;
+import java.util.Collection;
+import java.util.List;
+import java.util.Map;
+import org.apache.logging.log4j.spi.ReadOnlyThreadContextMap;
+import org.apache.logging.log4j.spi.ThreadContextStack;
+
+public class ThreadContext
+{
+    protected ThreadContext() {}
+    public static Map<String, String> EMPTY_MAP = null;
+    public static Map<String, String> getContext(){ return null; }
+    public static Map<String, String> getImmutableContext(){ return null; }
+    public static ReadOnlyThreadContextMap getThreadContextMap(){ return null; }
+    public static String get(String p0){ return null; }
+    public static String peek(){ return null; }
+    public static String pop(){ return null; }
+    public static ThreadContext.ContextStack cloneStack(){ return null; }
+    public static ThreadContext.ContextStack getImmutableStack(){ return null; }
+    public static ThreadContextStack EMPTY_STACK = null;
+    public static boolean containsKey(String p0){ return false; }
+    public static boolean isEmpty(){ return false; }
+    public static int getDepth(){ return 0; }
+    public static void clearAll(){}
+    public static void clearMap(){}
+    public static void clearStack(){}
+    public static void push(String p0){}
+    public static void push(String p0, Object... p1){}
+    public static void put(String p0, String p1){}
+    public static void putAll(Map<String, String> p0){}
+    public static void putIfNull(String p0, String p1){}
+    public static void remove(String p0){}
+    public static void removeAll(Iterable<String> p0){}
+    public static void removeStack(){}
+    public static void setStack(Collection<String> p0){}
+    public static void trim(int p0){}
+    static public interface ContextStack extends Collection<String>, Serializable
+    {
+        List<String> asList();
+        String peek();
+        String pop();
+        ThreadContext.ContextStack copy();
+        ThreadContext.ContextStack getImmutableStackOrNull();
+        int getDepth();
+        void push(String p0);
+        void trim(int p0);
+    }
+}

java/ql/test/stubs/apache-log4j-2.14.1/org/apache/logging/log4j/message/EntryMessage.java

@@ -0,0 +1,9 @@
+// Generated automatically from org.apache.logging.log4j.message.EntryMessage for testing purposes
+
+package org.apache.logging.log4j.message;
+
+import org.apache.logging.log4j.message.FlowMessage;
+
+public interface EntryMessage extends FlowMessage
+{
+}

java/ql/test/stubs/apache-log4j-2.14.1/org/apache/logging/log4j/message/FlowMessage.java

@@ -0,0 +1,11 @@
+// Generated automatically from org.apache.logging.log4j.message.FlowMessage for testing purposes
+
+package org.apache.logging.log4j.message;
+
+import org.apache.logging.log4j.message.Message;
+
+public interface FlowMessage extends Message
+{
+    Message getMessage();
+    String getText();
+}

java/ql/test/stubs/apache-log4j-2.14.1/org/apache/logging/log4j/message/MapMessage.java

@@ -0,0 +1,66 @@
+// Generated automatically from org.apache.logging.log4j.message.MapMessage for testing purposes
+
+package org.apache.logging.log4j.message;
+
+import java.util.Map;
+import org.apache.logging.log4j.util.BiConsumer;
+import org.apache.logging.log4j.util.IndexedReadOnlyStringMap;
+import org.apache.logging.log4j.util.MultiFormatStringBuilderFormattable;
+import org.apache.logging.log4j.util.TriConsumer;
+
+public class MapMessage<M extends MapMessage<M, V>, V> implements MultiFormatStringBuilderFormattable
+{
+    protected String toKey(String p0){ return null; }
+    protected void appendMap(StringBuilder p0){}
+    protected void asJava(StringBuilder p0){}
+    protected void asJavaUnquoted(StringBuilder p0){}
+    protected void asJson(StringBuilder p0){}
+    protected void validate(String p0, Object p1){}
+    protected void validate(String p0, String p1){}
+    protected void validate(String p0, boolean p1){}
+    protected void validate(String p0, byte p1){}
+    protected void validate(String p0, char p1){}
+    protected void validate(String p0, double p1){}
+    protected void validate(String p0, float p1){}
+    protected void validate(String p0, int p1){}
+    protected void validate(String p0, long p1){}
+    protected void validate(String p0, short p1){}
+    public <CV, S> void forEach(TriConsumer<String, ? super CV, S> p0, S p1){}
+    public <CV> void forEach(BiConsumer<String, ? super CV> p0){}
+    public IndexedReadOnlyStringMap getIndexedReadOnlyStringMap(){ return null; }
+    public M newInstance(Map<String, V> p0){ return null; }
+    public M with(String p0, Object p1){ return null; }
+    public M with(String p0, String p1){ return null; }
+    public M with(String p0, boolean p1){ return null; }
+    public M with(String p0, byte p1){ return null; }
+    public M with(String p0, char p1){ return null; }
+    public M with(String p0, double p1){ return null; }
+    public M with(String p0, float p1){ return null; }
+    public M with(String p0, int p1){ return null; }
+    public M with(String p0, long p1){ return null; }
+    public M with(String p0, short p1){ return null; }
+    public Map<String, V> getData(){ return null; }
+    public MapMessage(){}
+    public MapMessage(Map<String, V> p0){}
+    public MapMessage(int p0){}
+    public Object[] getParameters(){ return null; }
+    public String asString(){ return null; }
+    public String asString(String p0){ return null; }
+    public String get(String p0){ return null; }
+    public String getFormat(){ return null; }
+    public String getFormattedMessage(){ return null; }
+    public String getFormattedMessage(String[] p0){ return null; }
+    public String remove(String p0){ return null; }
+    public String toString(){ return null; }
+    public String[] getFormats(){ return null; }
+    public Throwable getThrowable(){ return null; }
+    public boolean containsKey(String p0){ return false; }
+    public boolean equals(Object p0){ return false; }
+    public int hashCode(){ return 0; }
+    public void asXml(StringBuilder p0){}
+    public void clear(){}
+    public void formatTo(StringBuilder p0){}
+    public void formatTo(String[] p0, StringBuilder p1){}
+    public void put(String p0, String p1){}
+    public void putAll(Map<String, String> p0){}
+}

java/ql/test/stubs/apache-log4j-2.14.1/org/apache/logging/log4j/message/Message.java

@@ -0,0 +1,13 @@
+// Generated automatically from org.apache.logging.log4j.message.Message for testing purposes
+
+package org.apache.logging.log4j.message;
+
+import java.io.Serializable;
+
+public interface Message extends Serializable
+{
+    Object[] getParameters();
+    String getFormat();
+    String getFormattedMessage();
+    Throwable getThrowable();
+}

java/ql/test/stubs/apache-log4j-2.14.1/org/apache/logging/log4j/message/MessageFactory.java

@@ -0,0 +1,12 @@
+// Generated automatically from org.apache.logging.log4j.message.MessageFactory for testing purposes
+
+package org.apache.logging.log4j.message;
+
+import org.apache.logging.log4j.message.Message;
+
+public interface MessageFactory
+{
+    Message newMessage(Object p0);
+    Message newMessage(String p0);
+    Message newMessage(String p0, Object... p1);
+}

java/ql/test/stubs/apache-log4j-2.14.1/org/apache/logging/log4j/message/MultiformatMessage.java

@@ -0,0 +1,11 @@
+// Generated automatically from org.apache.logging.log4j.message.MultiformatMessage for testing purposes
+
+package org.apache.logging.log4j.message;
+
+import org.apache.logging.log4j.message.Message;
+
+public interface MultiformatMessage extends Message
+{
+    String getFormattedMessage(String[] p0);
+    String[] getFormats();
+}

java/ql/test/stubs/apache-log4j-2.14.1/org/apache/logging/log4j/message/StringMapMessage.java

@@ -0,0 +1,14 @@
+// Generated automatically from org.apache.logging.log4j.message.StringMapMessage for testing purposes
+
+package org.apache.logging.log4j.message;
+
+import java.util.Map;
+import org.apache.logging.log4j.message.MapMessage;
+
+public class StringMapMessage extends MapMessage<StringMapMessage, String>
+{
+    public StringMapMessage newInstance(Map<String, String> p0){ return null; }
+    public StringMapMessage(){}
+    public StringMapMessage(Map<String, String> p0){}
+    public StringMapMessage(int p0){}
+}

java/ql/test/stubs/apache-log4j-2.14.1/org/apache/logging/log4j/spi/ReadOnlyThreadContextMap.java

@@ -0,0 +1,17 @@
+// Generated automatically from org.apache.logging.log4j.spi.ReadOnlyThreadContextMap for testing purposes
+
+package org.apache.logging.log4j.spi;
+
+import java.util.Map;
+import org.apache.logging.log4j.util.StringMap;
+
+public interface ReadOnlyThreadContextMap
+{
+    Map<String, String> getCopy();
+    Map<String, String> getImmutableMapOrNull();
+    String get(String p0);
+    StringMap getReadOnlyContextData();
+    boolean containsKey(String p0);
+    boolean isEmpty();
+    void clear();
+}

java/ql/test/stubs/apache-log4j-2.14.1/org/apache/logging/log4j/spi/StandardLevel.java

@@ -0,0 +1,12 @@
+// Generated automatically from org.apache.logging.log4j.spi.StandardLevel for testing purposes
+
+package org.apache.logging.log4j.spi;
+
+
+public enum StandardLevel
+{
+    ALL, DEBUG, ERROR, FATAL, INFO, OFF, TRACE, WARN;
+    private StandardLevel() {}
+    public int intLevel(){ return 0; }
+    public static StandardLevel getStandardLevel(int p0){ return null; }
+}

java/ql/test/stubs/apache-log4j-2.14.1/org/apache/logging/log4j/spi/ThreadContextStack.java

@@ -0,0 +1,9 @@
+// Generated automatically from org.apache.logging.log4j.spi.ThreadContextStack for testing purposes
+
+package org.apache.logging.log4j.spi;
+
+import org.apache.logging.log4j.ThreadContext;
+
+public interface ThreadContextStack extends ThreadContext.ContextStack
+{
+}

java/ql/test/stubs/apache-log4j-2.14.1/org/apache/logging/log4j/util/BiConsumer.java

@@ -0,0 +1,9 @@
+// Generated automatically from org.apache.logging.log4j.util.BiConsumer for testing purposes
+
+package org.apache.logging.log4j.util;
+
+
+public interface BiConsumer<K, V>
+{
+    void accept(K p0, V p1);
+}

java/ql/test/stubs/apache-log4j-2.14.1/org/apache/logging/log4j/util/IndexedReadOnlyStringMap.java

@@ -0,0 +1,12 @@
+// Generated automatically from org.apache.logging.log4j.util.IndexedReadOnlyStringMap for testing purposes
+
+package org.apache.logging.log4j.util;
+
+import org.apache.logging.log4j.util.ReadOnlyStringMap;
+
+public interface IndexedReadOnlyStringMap extends ReadOnlyStringMap
+{
+    <V> V getValueAt(int p0);
+    String getKeyAt(int p0);
+    int indexOfKey(String p0);
+}

java/ql/test/stubs/apache-log4j-2.14.1/org/apache/logging/log4j/util/MessageSupplier.java

@@ -0,0 +1,10 @@
+// Generated automatically from org.apache.logging.log4j.util.MessageSupplier for testing purposes
+
+package org.apache.logging.log4j.util;
+
+import org.apache.logging.log4j.message.Message;
+
+public interface MessageSupplier
+{
+    Message get();
+}

java/ql/test/stubs/apache-log4j-2.14.1/org/apache/logging/log4j/util/MultiFormatStringBuilderFormattable.java

@@ -0,0 +1,11 @@
+// Generated automatically from org.apache.logging.log4j.util.MultiFormatStringBuilderFormattable for testing purposes
+
+package org.apache.logging.log4j.util;
+
+import org.apache.logging.log4j.message.MultiformatMessage;
+import org.apache.logging.log4j.util.StringBuilderFormattable;
+
+public interface MultiFormatStringBuilderFormattable extends MultiformatMessage, StringBuilderFormattable
+{
+    void formatTo(String[] p0, StringBuilder p1);
+}

java/ql/test/stubs/apache-log4j-2.14.1/org/apache/logging/log4j/util/ReadOnlyStringMap.java

@@ -0,0 +1,19 @@
+// Generated automatically from org.apache.logging.log4j.util.ReadOnlyStringMap for testing purposes
+
+package org.apache.logging.log4j.util;
+
+import java.io.Serializable;
+import java.util.Map;
+import org.apache.logging.log4j.util.BiConsumer;
+import org.apache.logging.log4j.util.TriConsumer;
+
+public interface ReadOnlyStringMap extends Serializable
+{
+    <V, S> void forEach(TriConsumer<String, ? super V, S> p0, S p1);
+    <V> V getValue(String p0);
+    <V> void forEach(BiConsumer<String, ? super V> p0);
+    Map<String, String> toMap();
+    boolean containsKey(String p0);
+    boolean isEmpty();
+    int size();
+}

java/ql/test/stubs/apache-log4j-2.14.1/org/apache/logging/log4j/util/StringBuilderFormattable.java

@@ -0,0 +1,9 @@
+// Generated automatically from org.apache.logging.log4j.util.StringBuilderFormattable for testing purposes
+
+package org.apache.logging.log4j.util;
+
+
+public interface StringBuilderFormattable
+{
+    void formatTo(StringBuilder p0);
+}

java/ql/test/stubs/apache-log4j-2.14.1/org/apache/logging/log4j/util/StringMap.java

@@ -0,0 +1,17 @@
+// Generated automatically from org.apache.logging.log4j.util.StringMap for testing purposes
+
+package org.apache.logging.log4j.util;
+
+import org.apache.logging.log4j.util.ReadOnlyStringMap;
+
+public interface StringMap extends ReadOnlyStringMap
+{
+    boolean equals(Object p0);
+    boolean isFrozen();
+    int hashCode();
+    void clear();
+    void freeze();
+    void putAll(ReadOnlyStringMap p0);
+    void putValue(String p0, Object p1);
+    void remove(String p0);
+}

java/ql/test/stubs/apache-log4j-2.14.1/org/apache/logging/log4j/util/Supplier.java

@@ -0,0 +1,9 @@
+// Generated automatically from org.apache.logging.log4j.util.Supplier for testing purposes
+
+package org.apache.logging.log4j.util;
+
+
+public interface Supplier<T>
+{
+    T get();
+}

java/ql/test/stubs/apache-log4j-2.14.1/org/apache/logging/log4j/util/TriConsumer.java

@@ -0,0 +1,9 @@
+// Generated automatically from org.apache.logging.log4j.util.TriConsumer for testing purposes
+
+package org.apache.logging.log4j.util;
+
+
+public interface TriConsumer<K, V, S>
+{
+    void accept(K p0, V p1, S p2);
+}