org.kohsuke.stapler.framework.adjunct tests

java/ql/test/library-tests/frameworks/stapler/Test.java

@@ -0,0 +1,26 @@
+package generatedtest;
+
+import org.kohsuke.stapler.framework.adjunct.AdjunctManager;
+
+// Test case generated by GenerateFlowTestCase.ql
+public class Test {
+
+	Object source() {
+		return null;
+	}
+
+	void sink(Object o) {}
+
+	public void test() throws Exception {
+
+		{
+			// "org.kohsuke.stapler.framework.adjunct;AdjunctManager;true;AdjunctManager;(ServletContext,ClassLoader,String,long);;Argument[2];Argument[-1].Field[org.kohsuke.stapler.framework.adjunct.AdjunctManager.rootURL];taint;ai-generated"
+			AdjunctManager out = null;
+			String in = (String) source();
+			out = new AdjunctManager(null, null, in, 0L);
+			sink(out.rootURL); // $ hasTaintFlow
+		}
+
+	}
+
+}

java/ql/test/library-tests/frameworks/stapler/options

@@ -0,0 +1 @@
+//semmle-extractor-options: --javac-args -cp ${testdir}/../../../stubs/stapler-1.263:${testdir}/../../../stubs/javax-servlet-2.5:${testdir}/../../../stubs/apache-commons-jelly-1.0.1:${testdir}/../../../stubs/apache-commons-fileupload-1.4:${testdir}/../../../stubs/saxon-xqj-9.x:${testdir}/../../../stubs/apache-commons-beanutils:${testdir}/../../../stubs/dom4j-2.1.1:${testdir}/../../../stubs/apache-commons-lang:${testdir}/../../../stubs/jaxen-1.2.0

java/ql/test/library-tests/frameworks/stapler/test.ql

@@ -0,0 +1,2 @@
+import java
+import TestUtilities.InlineFlowTest

java/ql/test/stubs/apache-commons-beanutils/org/apache/commons/beanutils/ConvertUtilsBean.java

@@ -0,0 +1,37 @@
+// Generated automatically from org.apache.commons.beanutils.ConvertUtilsBean for testing purposes
+
+package org.apache.commons.beanutils;
+
+import org.apache.commons.beanutils.Converter;
+
+public class ConvertUtilsBean
+{
+    protected static ConvertUtilsBean getInstance(){ return null; }
+    public ConvertUtilsBean(){}
+    public Converter lookup(Class<? extends Object> p0){ return null; }
+    public Converter lookup(Class<? extends Object> p0, Class<? extends Object> p1){ return null; }
+    public Object convert(Object p0, Class<? extends Object> p1){ return null; }
+    public Object convert(String p0, Class<? extends Object> p1){ return null; }
+    public Object convert(String[] p0, Class<? extends Object> p1){ return null; }
+    public String convert(Object p0){ return null; }
+    public boolean getDefaultBoolean(){ return false; }
+    public byte getDefaultByte(){ return 0; }
+    public char getDefaultCharacter(){ return '0'; }
+    public double getDefaultDouble(){ return 0; }
+    public float getDefaultFloat(){ return 0; }
+    public int getDefaultInteger(){ return 0; }
+    public long getDefaultLong(){ return 0; }
+    public short getDefaultShort(){ return 0; }
+    public void deregister(){}
+    public void deregister(Class<? extends Object> p0){}
+    public void register(Converter p0, Class<? extends Object> p1){}
+    public void register(boolean p0, boolean p1, int p2){}
+    public void setDefaultBoolean(boolean p0){}
+    public void setDefaultByte(byte p0){}
+    public void setDefaultCharacter(char p0){}
+    public void setDefaultDouble(double p0){}
+    public void setDefaultFloat(float p0){}
+    public void setDefaultInteger(int p0){}
+    public void setDefaultLong(long p0){}
+    public void setDefaultShort(short p0){}
+}

java/ql/test/stubs/apache-commons-beanutils/org/apache/commons/beanutils/Converter.java

@@ -0,0 +1,9 @@
+// Generated automatically from org.apache.commons.beanutils.Converter for testing purposes
+
+package org.apache.commons.beanutils;
+
+
+public interface Converter
+{
+    <T> T convert(java.lang.Class<T> p0, Object p1);
+}

java/ql/test/stubs/apache-commons-fileupload-1.4/org/apache/commons/fileupload/FileItem.java

@@ -0,0 +1,27 @@
+// Generated automatically from org.apache.commons.fileupload.FileItem for testing purposes
+
+package org.apache.commons.fileupload;
+
+import java.io.File;
+import java.io.InputStream;
+import java.io.OutputStream;
+import org.apache.commons.fileupload.FileItemHeadersSupport;
+
+public interface FileItem extends FileItemHeadersSupport
+{
+    InputStream getInputStream();
+    OutputStream getOutputStream();
+    String getContentType();
+    String getFieldName();
+    String getName();
+    String getString();
+    String getString(String p0);
+    boolean isFormField();
+    boolean isInMemory();
+    byte[] get();
+    long getSize();
+    void delete();
+    void setFieldName(String p0);
+    void setFormField(boolean p0);
+    void write(File p0);
+}

java/ql/test/stubs/apache-commons-fileupload-1.4/org/apache/commons/fileupload/FileItemHeaders.java

@@ -0,0 +1,12 @@
+// Generated automatically from org.apache.commons.fileupload.FileItemHeaders for testing purposes
+
+package org.apache.commons.fileupload;
+
+import java.util.Iterator;
+
+public interface FileItemHeaders
+{
+    Iterator<String> getHeaderNames();
+    Iterator<String> getHeaders(String p0);
+    String getHeader(String p0);
+}

java/ql/test/stubs/apache-commons-fileupload-1.4/org/apache/commons/fileupload/FileItemHeadersSupport.java

@@ -0,0 +1,11 @@
+// Generated automatically from org.apache.commons.fileupload.FileItemHeadersSupport for testing purposes
+
+package org.apache.commons.fileupload;
+
+import org.apache.commons.fileupload.FileItemHeaders;
+
+public interface FileItemHeadersSupport
+{
+    FileItemHeaders getHeaders();
+    void setHeaders(FileItemHeaders p0);
+}

java/ql/test/stubs/apache-commons-lang/org/apache/commons/lang/exception/Nestable.java

@@ -0,0 +1,22 @@
+// Generated automatically from org.apache.commons.lang.exception.Nestable for testing purposes
+
+package org.apache.commons.lang.exception;
+
+import java.io.PrintStream;
+import java.io.PrintWriter;
+
+public interface Nestable
+{
+    String getMessage();
+    String getMessage(int p0);
+    String[] getMessages();
+    Throwable getCause();
+    Throwable getThrowable(int p0);
+    Throwable[] getThrowables();
+    int getThrowableCount();
+    int indexOfThrowable(Class p0);
+    int indexOfThrowable(Class p0, int p1);
+    void printPartialStackTrace(PrintWriter p0);
+    void printStackTrace(PrintStream p0);
+    void printStackTrace(PrintWriter p0);
+}

java/ql/test/stubs/apache-commons-lang/org/apache/commons/lang/exception/NestableDelegate.java

@@ -0,0 +1,30 @@
+// Generated automatically from org.apache.commons.lang.exception.NestableDelegate for testing purposes
+
+package org.apache.commons.lang.exception;
+
+import java.io.PrintStream;
+import java.io.PrintWriter;
+import java.io.Serializable;
+import java.util.List;
+import org.apache.commons.lang.exception.Nestable;
+
+public class NestableDelegate implements Serializable
+{
+    protected NestableDelegate() {}
+    protected String[] getStackFrames(Throwable p0){ return null; }
+    protected void trimStackFrames(List p0){}
+    public NestableDelegate(Nestable p0){}
+    public String getMessage(String p0){ return null; }
+    public String getMessage(int p0){ return null; }
+    public String[] getMessages(){ return null; }
+    public Throwable getThrowable(int p0){ return null; }
+    public Throwable[] getThrowables(){ return null; }
+    public int getThrowableCount(){ return 0; }
+    public int indexOfThrowable(Class p0, int p1){ return 0; }
+    public static boolean matchSubclasses = false;
+    public static boolean topDown = false;
+    public static boolean trimStackFrames = false;
+    public void printStackTrace(){}
+    public void printStackTrace(PrintStream p0){}
+    public void printStackTrace(PrintWriter p0){}
+}

java/ql/test/stubs/apache-commons-lang/org/apache/commons/lang/exception/NestableRuntimeException.java

@@ -0,0 +1,30 @@
+// Generated automatically from org.apache.commons.lang.exception.NestableRuntimeException for testing purposes
+
+package org.apache.commons.lang.exception;
+
+import java.io.PrintStream;
+import java.io.PrintWriter;
+import org.apache.commons.lang.exception.Nestable;
+import org.apache.commons.lang.exception.NestableDelegate;
+
+public class NestableRuntimeException extends RuntimeException implements Nestable
+{
+    protected NestableDelegate delegate = null;
+    public NestableRuntimeException(){}
+    public NestableRuntimeException(String p0){}
+    public NestableRuntimeException(String p0, Throwable p1){}
+    public NestableRuntimeException(Throwable p0){}
+    public String getMessage(){ return null; }
+    public String getMessage(int p0){ return null; }
+    public String[] getMessages(){ return null; }
+    public Throwable getCause(){ return null; }
+    public Throwable getThrowable(int p0){ return null; }
+    public Throwable[] getThrowables(){ return null; }
+    public final void printPartialStackTrace(PrintWriter p0){}
+    public int getThrowableCount(){ return 0; }
+    public int indexOfThrowable(Class p0){ return 0; }
+    public int indexOfThrowable(Class p0, int p1){ return 0; }
+    public void printStackTrace(){}
+    public void printStackTrace(PrintStream p0){}
+    public void printStackTrace(PrintWriter p0){}
+}

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

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

java/ql/test/stubs/javax-servlet-2.5/javax/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/javax-servlet-2.5/javax/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/javax-servlet-2.5/javax/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/javax-servlet-2.5/javax/GenericServlet.java

@@ -0,0 +1,28 @@
+// 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/javax-servlet-2.5/javax/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/javax-servlet-2.5/javax/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/javax-servlet-2.5/javax/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/javax-servlet-2.5/javax/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/javax-servlet-2.5/javax/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/javax-servlet-2.5/javax/RequestDispatcher.java

@@ -0,0 +1,30 @@
+// 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/javax-servlet-2.5/javax/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/javax-servlet-2.5/javax/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/javax-servlet-2.5/javax/ServletContext.java

@@ -0,0 +1,83 @@
+// 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/javax-servlet-2.5/javax/ServletContextEvent.java

@@ -0,0 +1,13 @@
+// Generated automatically from javax.servlet.ServletContextEvent for testing purposes
+
+package javax.servlet;
+
+import java.util.EventObject;
+import javax.servlet.ServletContext;
+
+public class ServletContextEvent extends EventObject
+{
+    protected ServletContextEvent() {}
+    public ServletContext getServletContext(){ return null; }
+    public ServletContextEvent(ServletContext p0){}
+}

java/ql/test/stubs/javax-servlet-2.5/javax/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/javax-servlet-2.5/javax/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/javax-servlet-2.5/javax/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/javax-servlet-2.5/javax/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/javax-servlet-2.5/javax/ServletRequestWrapper.java

@@ -0,0 +1,62 @@
+// Generated automatically from javax.servlet.ServletRequestWrapper 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.ServletRequest;
+import javax.servlet.ServletResponse;
+
+public class ServletRequestWrapper implements ServletRequest
+{
+    protected ServletRequestWrapper() {}
+    public AsyncContext getAsyncContext(){ return null; }
+    public AsyncContext startAsync(){ return null; }
+    public AsyncContext startAsync(ServletRequest p0, ServletResponse p1){ return null; }
+    public BufferedReader getReader(){ return null; }
+    public DispatcherType getDispatcherType(){ return null; }
+    public Enumeration<Locale> getLocales(){ return null; }
+    public Enumeration<String> getAttributeNames(){ return null; }
+    public Enumeration<String> getParameterNames(){ return null; }
+    public Locale getLocale(){ return null; }
+    public Map<String, String[]> getParameterMap(){ return null; }
+    public Object getAttribute(String p0){ return null; }
+    public RequestDispatcher getRequestDispatcher(String p0){ return null; }
+    public ServletContext getServletContext(){ return null; }
+    public ServletInputStream getInputStream(){ return null; }
+    public ServletRequest getRequest(){ return null; }
+    public ServletRequestWrapper(ServletRequest p0){}
+    public String getCharacterEncoding(){ return null; }
+    public String getContentType(){ return null; }
+    public String getLocalAddr(){ return null; }
+    public String getLocalName(){ return null; }
+    public String getParameter(String p0){ return null; }
+    public String getProtocol(){ return null; }
+    public String getRealPath(String p0){ return null; }
+    public String getRemoteAddr(){ return null; }
+    public String getRemoteHost(){ return null; }
+    public String getScheme(){ return null; }
+    public String getServerName(){ return null; }
+    public String[] getParameterValues(String p0){ return null; }
+    public boolean isAsyncStarted(){ return false; }
+    public boolean isAsyncSupported(){ return false; }
+    public boolean isSecure(){ return false; }
+    public boolean isWrapperFor(Class<? extends Object> p0){ return false; }
+    public boolean isWrapperFor(ServletRequest p0){ return false; }
+    public int getContentLength(){ return 0; }
+    public int getLocalPort(){ return 0; }
+    public int getRemotePort(){ return 0; }
+    public int getServerPort(){ return 0; }
+    public long getContentLengthLong(){ return 0; }
+    public void removeAttribute(String p0){}
+    public void setAttribute(String p0, Object p1){}
+    public void setCharacterEncoding(String p0){}
+    public void setRequest(ServletRequest p0){}
+}

java/ql/test/stubs/javax-servlet-2.5/javax/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/javax-servlet-2.5/javax/ServletResponseWrapper.java

@@ -0,0 +1,34 @@
+// Generated automatically from javax.servlet.ServletResponseWrapper for testing purposes
+
+package javax.servlet;
+
+import java.io.PrintWriter;
+import java.util.Locale;
+import javax.servlet.ServletOutputStream;
+import javax.servlet.ServletResponse;
+
+public class ServletResponseWrapper implements ServletResponse
+{
+    protected ServletResponseWrapper() {}
+    public Locale getLocale(){ return null; }
+    public PrintWriter getWriter(){ return null; }
+    public ServletOutputStream getOutputStream(){ return null; }
+    public ServletResponse getResponse(){ return null; }
+    public ServletResponseWrapper(ServletResponse p0){}
+    public String getCharacterEncoding(){ return null; }
+    public String getContentType(){ return null; }
+    public boolean isCommitted(){ return false; }
+    public boolean isWrapperFor(Class<? extends Object> p0){ return false; }
+    public boolean isWrapperFor(ServletResponse p0){ return false; }
+    public int getBufferSize(){ return 0; }
+    public void flushBuffer(){}
+    public void reset(){}
+    public void resetBuffer(){}
+    public void setBufferSize(int p0){}
+    public void setCharacterEncoding(String p0){}
+    public void setContentLength(int p0){}
+    public void setContentLengthLong(long p0){}
+    public void setContentType(String p0){}
+    public void setLocale(Locale p0){}
+    public void setResponse(ServletResponse p0){}
+}

java/ql/test/stubs/javax-servlet-2.5/javax/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/javax-servlet-2.5/javax/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/javax-servlet-2.5/javax/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/javax-servlet-2.5/javax/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/javax-servlet-2.5/javax/annotation/HttpConstraint.java

@@ -0,0 +1,18 @@
+// 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

@@ -0,0 +1,19 @@
+// 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

@@ -0,0 +1,19 @@
+// 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

@@ -0,0 +1,33 @@
+// 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

@@ -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/javax-servlet-2.5/javax/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/javax-servlet-2.5/javax/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/javax-servlet-2.5/javax/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/javax-servlet-2.5/javax/http/HttpServlet.java

@@ -0,0 +1,24 @@
+// 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

@@ -0,0 +1,13 @@
+// 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

@@ -0,0 +1,60 @@
+// 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

@@ -0,0 +1,59 @@
+// 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

@@ -0,0 +1,77 @@
+// 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

@@ -0,0 +1,39 @@
+// 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

@@ -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/javax-servlet-2.5/javax/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/javax-servlet-2.5/javax/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/javax-servlet-2.5/javax/http/MappingMatch.java

@@ -0,0 +1,10 @@
+// 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

@@ -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/javax-servlet-2.5/javax/http/PushBuilder.java

@@ -0,0 +1,23 @@
+// 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

@@ -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/javax-servlet-2.5/javax/servlet/AsyncContext.java

@@ -9,7 +9,7 @@ import javax.servlet.ServletResponse;
 
 public interface AsyncContext
 {
-    <T extends AsyncListener> T createListener(Class<T> p0);
+    <T extends AsyncListener> T createListener(java.lang.Class<T> p0);
     ServletRequest getRequest();
     ServletResponse getResponse();
     boolean hasOriginalRequestAndResponse();

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

@@ -0,0 +1,28 @@
+// 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/javax-servlet-2.5/javax/servlet/ServletContext.java

@@ -19,10 +19,10 @@ import javax.servlet.descriptor.JspConfigDescriptor;
 
 public interface ServletContext
 {
-    <T extends EventListener> T createListener(Class<T> p0);
+    <T extends EventListener> T createListener(java.lang.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);
+    <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();

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

@@ -0,0 +1,20 @@
+// Generated automatically from javax.servlet.ServletContextEvent for testing purposes
+
+package javax.servlet;
+
+import java.util.EventObject;
+import javax.servlet.ServletContext;
+
+public class ServletContextEvent extends EventObject {
+    protected ServletContextEvent() {
+        super(null);
+    }
+
+    public ServletContext getServletContext() {
+        return null;
+    }
+
+    public ServletContextEvent(ServletContext p0) {
+        super(null);
+    }
+}

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

@@ -3,9 +3,14 @@
 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;
 
-public interface HttpConstraint extends Annotation
+@Documented
+@Retention(value=java.lang.annotation.RetentionPolicy.RUNTIME)
+public @interface HttpConstraint
 {
     ServletSecurity.EmptyRoleSemantic value();
     ServletSecurity.TransportGuarantee transportGuarantee();

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

@@ -0,0 +1,19 @@
+// 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/servlet/annotation/MultipartConfig.java

@@ -3,8 +3,14 @@
 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;
 
-public interface MultipartConfig extends Annotation
+@Retention(value=java.lang.annotation.RetentionPolicy.RUNTIME)
+@Target(value={java.lang.annotation.ElementType.TYPE})
+public @interface MultipartConfig
 {
     String location();
     int fileSizeThreshold();

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

@@ -3,11 +3,23 @@
 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;
 
-public interface ServletSecurity extends Annotation
+@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;

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

@@ -0,0 +1,24 @@
+// 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/servlet/http/HttpServletRequest.java

@@ -11,11 +11,13 @@ 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();

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

@@ -12,12 +12,14 @@ 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; }

java/ql/test/stubs/javax-servlet-2.5/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/javax-servlet-2.5/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/saxon-xqj-9.x/net/sf/json/AbstractJSON.java

@@ -0,0 +1,51 @@
+// Generated automatically from net.sf.json.AbstractJSON for testing purposes
+
+package net.sf.json;
+
+import java.io.Writer;
+import java.util.Collection;
+import net.sf.json.JSON;
+import net.sf.json.JSONException;
+import net.sf.json.JSONObject;
+import net.sf.json.JsonConfig;
+
+abstract class AbstractJSON implements JSON {
+    class WritingVisitor {
+    }
+
+    protected Object _processValue(Object p0, JsonConfig p1) {
+        return null;
+    }
+
+    protected abstract void write(Writer p0, AbstractJSON.WritingVisitor p1);
+
+    protected static boolean addInstance(Object p0) {
+        return false;
+    }
+
+    protected static void fireArrayEndEvent(JsonConfig p0) {}
+
+    protected static void fireArrayStartEvent(JsonConfig p0) {}
+
+    protected static void fireElementAddedEvent(int p0, Object p1, JsonConfig p2) {}
+
+    protected static void fireErrorEvent(JSONException p0, JsonConfig p1) {}
+
+    protected static void fireObjectEndEvent(JsonConfig p0) {}
+
+    protected static void fireObjectStartEvent(JsonConfig p0) {}
+
+    protected static void firePropertySetEvent(String p0, Object p1, boolean p2, JsonConfig p3) {}
+
+    protected static void fireWarnEvent(String p0, JsonConfig p1) {}
+
+    protected static void removeInstance(Object p0) {}
+
+    public final Writer write(Writer p0) {
+        return null;
+    }
+
+    public final Writer writeCanonical(Writer p0) {
+        return null;
+    }
+}

java/ql/test/stubs/saxon-xqj-9.x/net/sf/json/JSON.java

@@ -0,0 +1,17 @@
+// Generated automatically from net.sf.json.JSON for testing purposes
+
+package net.sf.json;
+
+import java.io.Serializable;
+import java.io.Writer;
+
+public interface JSON extends Serializable
+{
+    String toString(int p0);
+    String toString(int p0, int p1);
+    Writer write(Writer p0);
+    Writer writeCanonical(Writer p0);
+    boolean isArray();
+    boolean isEmpty();
+    int size();
+}

java/ql/test/stubs/saxon-xqj-9.x/net/sf/json/JSONArray.java

@@ -0,0 +1,133 @@
+// Generated automatically from net.sf.json.JSONArray for testing purposes
+
+package net.sf.json;
+
+import java.beans.PropertyDescriptor;
+import java.io.Writer;
+import java.util.Collection;
+import java.util.Iterator;
+import java.util.List;
+import java.util.ListIterator;
+import java.util.Map;
+import net.sf.json.AbstractJSON;
+import net.sf.json.JSON;
+import net.sf.json.JSONNull;
+import net.sf.json.JSONObject;
+import net.sf.json.JsonConfig;
+
+public class JSONArray extends AbstractJSON implements Comparable, JSON, List<Object>
+{
+    protected JSONArray addString(String p0){ return null; }
+    protected Object _processValue(Object p0, JsonConfig p1){ return null; }
+    protected void write(Writer p0, AbstractJSON.WritingVisitor p1){}
+    public Iterator iterator(){ return null; }
+    public JSONArray discard(Object p0){ return null; }
+    public JSONArray discard(int p0){ return null; }
+    public JSONArray element(Collection p0){ return null; }
+    public JSONArray element(Collection p0, JsonConfig p1){ return null; }
+    public JSONArray element(JSONNull p0){ return null; }
+    public JSONArray element(JSONObject p0){ return null; }
+    public JSONArray element(Map p0){ return null; }
+    public JSONArray element(Map p0, JsonConfig p1){ return null; }
+    public JSONArray element(Object p0){ return null; }
+    public JSONArray element(Object p0, JsonConfig p1){ return null; }
+    public JSONArray element(String p0){ return null; }
+    public JSONArray element(String p0, JsonConfig p1){ return null; }
+    public JSONArray element(boolean p0){ return null; }
+    public JSONArray element(double p0){ return null; }
+    public JSONArray element(int p0){ return null; }
+    public JSONArray element(int p0, Collection p1){ return null; }
+    public JSONArray element(int p0, Collection p1, JsonConfig p2){ return null; }
+    public JSONArray element(int p0, Map p1){ return null; }
+    public JSONArray element(int p0, Map p1, JsonConfig p2){ return null; }
+    public JSONArray element(int p0, Object p1){ return null; }
+    public JSONArray element(int p0, Object p1, JsonConfig p2){ return null; }
+    public JSONArray element(int p0, String p1){ return null; }
+    public JSONArray element(int p0, String p1, JsonConfig p2){ return null; }
+    public JSONArray element(int p0, boolean p1){ return null; }
+    public JSONArray element(int p0, double p1){ return null; }
+    public JSONArray element(int p0, int p1){ return null; }
+    public JSONArray element(int p0, long p1){ return null; }
+    public JSONArray element(long p0){ return null; }
+    public JSONArray getJSONArray(int p0){ return null; }
+    public JSONArray optJSONArray(int p0){ return null; }
+    public JSONArray(){}
+    public JSONObject getJSONObject(int p0){ return null; }
+    public JSONObject optJSONObject(int p0){ return null; }
+    public JSONObject toJSONObject(JSONArray p0){ return null; }
+    public List subList(int p0, int p1){ return null; }
+    public ListIterator listIterator(){ return null; }
+    public ListIterator listIterator(int p0){ return null; }
+    public Object get(int p0){ return null; }
+    public Object opt(int p0){ return null; }
+    public Object remove(int p0){ return null; }
+    public Object set(int p0, Object p1){ return null; }
+    public Object set(int p0, Object p1, JsonConfig p2){ return null; }
+    public Object[] toArray(){ return null; }
+    public Object[] toArray(Object[] p0){ return null; }
+    public String getString(int p0){ return null; }
+    public String join(String p0){ return null; }
+    public String join(String p0, boolean p1){ return null; }
+    public String optString(int p0){ return null; }
+    public String optString(int p0, String p1){ return null; }
+    public String toString(){ return null; }
+    public String toString(int p0){ return null; }
+    public String toString(int p0, int p1){ return null; }
+    public boolean add(Object p0){ return false; }
+    public boolean add(Object p0, JsonConfig p1){ return false; }
+    public boolean addAll(Collection p0){ return false; }
+    public boolean addAll(Collection p0, JsonConfig p1){ return false; }
+    public boolean addAll(int p0, Collection p1){ return false; }
+    public boolean addAll(int p0, Collection p1, JsonConfig p2){ return false; }
+    public boolean contains(Object p0){ return false; }
+    public boolean contains(Object p0, JsonConfig p1){ return false; }
+    public boolean containsAll(Collection p0){ return false; }
+    public boolean containsAll(Collection p0, JsonConfig p1){ return false; }
+    public boolean equals(Object p0){ return false; }
+    public boolean getBoolean(int p0){ return false; }
+    public boolean isArray(){ return false; }
+    public boolean isEmpty(){ return false; }
+    public boolean isExpandElements(){ return false; }
+    public boolean optBoolean(int p0){ return false; }
+    public boolean optBoolean(int p0, boolean p1){ return false; }
+    public boolean remove(Object p0){ return false; }
+    public boolean removeAll(Collection p0){ return false; }
+    public boolean removeAll(Collection p0, JsonConfig p1){ return false; }
+    public boolean retainAll(Collection p0){ return false; }
+    public boolean retainAll(Collection p0, JsonConfig p1){ return false; }
+    public double getDouble(int p0){ return 0; }
+    public double optDouble(int p0){ return 0; }
+    public double optDouble(int p0, double p1){ return 0; }
+    public int compareTo(Object p0){ return 0; }
+    public int getInt(int p0){ return 0; }
+    public int hashCode(){ return 0; }
+    public int indexOf(Object p0){ return 0; }
+    public int lastIndexOf(Object p0){ return 0; }
+    public int optInt(int p0){ return 0; }
+    public int optInt(int p0, int p1){ return 0; }
+    public int size(){ return 0; }
+    public long getLong(int p0){ return 0; }
+    public long optLong(int p0){ return 0; }
+    public long optLong(int p0, long p1){ return 0; }
+    public static Class[] getCollectionType(PropertyDescriptor p0, boolean p1){ return null; }
+    public static Collection toCollection(JSONArray p0){ return null; }
+    public static Collection toCollection(JSONArray p0, Class p1){ return null; }
+    public static Collection toCollection(JSONArray p0, JsonConfig p1){ return null; }
+    public static JSONArray fromObject(Object p0){ return null; }
+    public static JSONArray fromObject(Object p0, JsonConfig p1){ return null; }
+    public static List toList(JSONArray p0){ return null; }
+    public static List toList(JSONArray p0, Class p1){ return null; }
+    public static List toList(JSONArray p0, Class p1, Map p2){ return null; }
+    public static List toList(JSONArray p0, JsonConfig p1){ return null; }
+    public static List toList(JSONArray p0, Object p1, JsonConfig p2){ return null; }
+    public static Object toArray(JSONArray p0){ return null; }
+    public static Object toArray(JSONArray p0, Class p1){ return null; }
+    public static Object toArray(JSONArray p0, Class p1, Map p2){ return null; }
+    public static Object toArray(JSONArray p0, JsonConfig p1){ return null; }
+    public static Object toArray(JSONArray p0, Object p1, JsonConfig p2){ return null; }
+    public static int[] getDimensions(JSONArray p0){ return null; }
+    public void add(int p0, Object p1){}
+    public void add(int p0, Object p1, JsonConfig p2){}
+    public void clear(){}
+    public void setExpandElements(boolean p0){}
+}

java/ql/test/stubs/saxon-xqj-9.x/net/sf/json/JSONException.java

@@ -0,0 +1,13 @@
+// Generated automatically from net.sf.json.JSONException for testing purposes
+
+package net.sf.json;
+
+import org.apache.commons.lang.exception.NestableRuntimeException;
+
+public class JSONException extends NestableRuntimeException
+{
+    public JSONException(){}
+    public JSONException(String p0){}
+    public JSONException(String p0, Throwable p1){}
+    public JSONException(Throwable p0){}
+}

java/ql/test/stubs/saxon-xqj-9.x/net/sf/json/JSONNull.java

@@ -0,0 +1,22 @@
+// Generated automatically from net.sf.json.JSONNull for testing purposes
+
+package net.sf.json;
+
+import java.io.Writer;
+import net.sf.json.JSON;
+
+public class JSONNull implements JSON
+{
+    protected JSONNull() {}
+    public String toString(){ return null; }
+    public String toString(int p0){ return null; }
+    public String toString(int p0, int p1){ return null; }
+    public Writer write(Writer p0){ return null; }
+    public Writer writeCanonical(Writer p0){ return null; }
+    public boolean equals(Object p0){ return false; }
+    public boolean isArray(){ return false; }
+    public boolean isEmpty(){ return false; }
+    public int hashCode(){ return 0; }
+    public int size(){ return 0; }
+    public static JSONNull getInstance(){ return null; }
+}

java/ql/test/stubs/saxon-xqj-9.x/net/sf/json/JSONObject.java

@@ -0,0 +1,100 @@
+// Generated automatically from net.sf.json.JSONObject for testing purposes
+
+package net.sf.json;
+
+import java.io.Writer;
+import java.util.Collection;
+import java.util.Iterator;
+import java.util.Map;
+import java.util.Set;
+import net.sf.json.AbstractJSON;
+import net.sf.json.JSON;
+import net.sf.json.JSONArray;
+import net.sf.json.JsonConfig;
+
+public class JSONObject extends AbstractJSON implements Comparable, JSON, Map<String, Object>
+{
+    protected Object _processValue(Object p0, JsonConfig p1){ return null; }
+    protected void write(Writer p0, AbstractJSON.WritingVisitor p1){}
+    public Collection values(){ return null; }
+    public Iterator keys(){ return null; }
+    public JSONArray getJSONArray(String p0){ return null; }
+    public JSONArray names(){ return null; }
+    public JSONArray names(JsonConfig p0){ return null; }
+    public JSONArray optJSONArray(String p0){ return null; }
+    public JSONArray toJSONArray(JSONArray p0){ return null; }
+    public JSONObject accumulate(String p0, Object p1){ return null; }
+    public JSONObject accumulate(String p0, Object p1, JsonConfig p2){ return null; }
+    public JSONObject accumulate(String p0, boolean p1){ return null; }
+    public JSONObject accumulate(String p0, double p1){ return null; }
+    public JSONObject accumulate(String p0, int p1){ return null; }
+    public JSONObject accumulate(String p0, long p1){ return null; }
+    public JSONObject discard(String p0){ return null; }
+    public JSONObject element(String p0, Collection p1){ return null; }
+    public JSONObject element(String p0, Collection p1, JsonConfig p2){ return null; }
+    public JSONObject element(String p0, Map p1){ return null; }
+    public JSONObject element(String p0, Map p1, JsonConfig p2){ return null; }
+    public JSONObject element(String p0, Object p1){ return null; }
+    public JSONObject element(String p0, Object p1, JsonConfig p2){ return null; }
+    public JSONObject element(String p0, boolean p1){ return null; }
+    public JSONObject element(String p0, double p1){ return null; }
+    public JSONObject element(String p0, int p1){ return null; }
+    public JSONObject element(String p0, long p1){ return null; }
+    public JSONObject elementOpt(String p0, Object p1){ return null; }
+    public JSONObject elementOpt(String p0, Object p1, JsonConfig p2){ return null; }
+    public JSONObject getJSONObject(String p0){ return null; }
+    public JSONObject optJSONObject(String p0){ return null; }
+    public JSONObject(){}
+    public JSONObject(boolean p0){}
+    public Object get(Object p0){ return null; }
+    public Object get(String p0){ return null; }
+    public Object opt(String p0){ return null; }
+    public Object put(String p0, Object p1){ return null; }
+    public Object remove(Object p0){ return null; }
+    public Object remove(String p0){ return null; }
+    public Object toBean(){ return null; }
+    public Object toBean(Class p0){ return null; }
+    public Set entrySet(){ return null; }
+    public Set keySet(){ return null; }
+    public String getString(String p0){ return null; }
+    public String optString(String p0){ return null; }
+    public String optString(String p0, String p1){ return null; }
+    public String toString(){ return null; }
+    public String toString(int p0){ return null; }
+    public String toString(int p0, int p1){ return null; }
+    public boolean containsKey(Object p0){ return false; }
+    public boolean containsValue(Object p0){ return false; }
+    public boolean containsValue(Object p0, JsonConfig p1){ return false; }
+    public boolean equals(Object p0){ return false; }
+    public boolean getBoolean(String p0){ return false; }
+    public boolean has(String p0){ return false; }
+    public boolean isArray(){ return false; }
+    public boolean isEmpty(){ return false; }
+    public boolean isNullObject(){ return false; }
+    public boolean optBoolean(String p0){ return false; }
+    public boolean optBoolean(String p0, boolean p1){ return false; }
+    public double getDouble(String p0){ return 0; }
+    public double optDouble(String p0){ return 0; }
+    public double optDouble(String p0, double p1){ return 0; }
+    public int compareTo(Object p0){ return 0; }
+    public int getInt(String p0){ return 0; }
+    public int hashCode(){ return 0; }
+    public int optInt(String p0){ return 0; }
+    public int optInt(String p0, int p1){ return 0; }
+    public int size(){ return 0; }
+    public long getLong(String p0){ return 0; }
+    public long optLong(String p0){ return 0; }
+    public long optLong(String p0, long p1){ return 0; }
+    public static JSONObject fromObject(Object p0){ return null; }
+    public static JSONObject fromObject(Object p0, JsonConfig p1){ return null; }
+    public static Object toBean(JSONObject p0){ return null; }
+    public static Object toBean(JSONObject p0, Class p1){ return null; }
+    public static Object toBean(JSONObject p0, Class p1, Map p2){ return null; }
+    public static Object toBean(JSONObject p0, JsonConfig p1){ return null; }
+    public static Object toBean(JSONObject p0, Object p1, JsonConfig p2){ return null; }
+    public void accumulateAll(Map p0){}
+    public void accumulateAll(Map p0, JsonConfig p1){}
+    public void clear(){}
+    public void putAll(Map p0){}
+    public void putAll(Map p0, JsonConfig p1){}
+}

java/ql/test/stubs/saxon-xqj-9.x/net/sf/json/JsonConfig.java

@@ -0,0 +1,146 @@
+// Generated automatically from net.sf.json.JsonConfig for testing purposes
+
+package net.sf.json;
+
+import java.util.Collection;
+import java.util.List;
+import java.util.Map;
+import net.sf.json.processors.DefaultValueProcessor;
+import net.sf.json.processors.DefaultValueProcessorMatcher;
+import net.sf.json.processors.JsonBeanProcessor;
+import net.sf.json.processors.JsonBeanProcessorMatcher;
+import net.sf.json.processors.JsonValueProcessor;
+import net.sf.json.processors.JsonValueProcessorMatcher;
+import net.sf.json.processors.PropertyNameProcessor;
+import net.sf.json.processors.PropertyNameProcessorMatcher;
+import net.sf.json.util.CycleDetectionStrategy;
+import net.sf.json.util.JavaIdentifierTransformer;
+import net.sf.json.util.JsonEventListener;
+import net.sf.json.util.NewBeanInstanceStrategy;
+import net.sf.json.util.PropertyExclusionClassMatcher;
+import net.sf.json.util.PropertyFilter;
+import net.sf.json.util.PropertySetStrategy;
+
+public class JsonConfig
+{
+    public Class getCollectionType(){ return null; }
+    public Class getEnclosedType(){ return null; }
+    public Class getRootClass(){ return null; }
+    public Collection getMergedExcludes(){ return null; }
+    public Collection getMergedExcludes(Class p0){ return null; }
+    public CycleDetectionStrategy getCycleDetectionStrategy(){ return null; }
+    public DefaultValueProcessor findDefaultValueProcessor(Class p0){ return null; }
+    public DefaultValueProcessorMatcher getDefaultValueProcessorMatcher(){ return null; }
+    public JavaIdentifierTransformer getJavaIdentifierTransformer(){ return null; }
+    public JsonBeanProcessor findJsonBeanProcessor(Class p0){ return null; }
+    public JsonBeanProcessorMatcher getJsonBeanProcessorMatcher(){ return null; }
+    public JsonConfig copy(){ return null; }
+    public JsonConfig(){}
+    public JsonValueProcessor findJsonValueProcessor(Class p0){ return null; }
+    public JsonValueProcessor findJsonValueProcessor(Class p0, Class p1, String p2){ return null; }
+    public JsonValueProcessor findJsonValueProcessor(Class p0, String p1){ return null; }
+    public JsonValueProcessorMatcher getJsonValueProcessorMatcher(){ return null; }
+    public List getIgnoreFieldAnnotations(){ return null; }
+    public List getJsonEventListeners(){ return null; }
+    public Map getClassMap(){ return null; }
+    public NewBeanInstanceStrategy getNewBeanInstanceStrategy(){ return null; }
+    public PropertyExclusionClassMatcher getPropertyExclusionClassMatcher(){ return null; }
+    public PropertyFilter getJavaPropertyFilter(){ return null; }
+    public PropertyFilter getJsonPropertyFilter(){ return null; }
+    public PropertyNameProcessor findJavaPropertyNameProcessor(Class p0){ return null; }
+    public PropertyNameProcessor findJsonPropertyNameProcessor(Class p0){ return null; }
+    public PropertyNameProcessor findPropertyNameProcessor(Class p0){ return null; }
+    public PropertyNameProcessorMatcher getJavaPropertyNameProcessorMatcher(){ return null; }
+    public PropertyNameProcessorMatcher getJsonPropertyNameProcessorMatcher(){ return null; }
+    public PropertyNameProcessorMatcher getPropertyNameProcessorMatcher(){ return null; }
+    public PropertySetStrategy getPropertySetStrategy(){ return null; }
+    public String[] getExcludes(){ return null; }
+    public boolean isAllowNonStringKeys(){ return false; }
+    public boolean isEventTriggeringEnabled(){ return false; }
+    public boolean isHandleJettisonEmptyElement(){ return false; }
+    public boolean isHandleJettisonSingleElementArray(){ return false; }
+    public boolean isIgnoreDefaultExcludes(){ return false; }
+    public boolean isIgnoreJPATransient(){ return false; }
+    public boolean isIgnorePublicFields(){ return false; }
+    public boolean isIgnoreTransientFields(){ return false; }
+    public boolean isIgnoreUnreadableProperty(){ return false; }
+    public boolean isJavascriptCompliant(){ return false; }
+    public boolean isSkipJavaIdentifierTransformationInMapKeys(){ return false; }
+    public int getArrayMode(){ return 0; }
+    public static DefaultValueProcessorMatcher DEFAULT_DEFAULT_VALUE_PROCESSOR_MATCHER = null;
+    public static JsonBeanProcessorMatcher DEFAULT_JSON_BEAN_PROCESSOR_MATCHER = null;
+    public static JsonValueProcessorMatcher DEFAULT_JSON_VALUE_PROCESSOR_MATCHER = null;
+    public static NewBeanInstanceStrategy DEFAULT_NEW_BEAN_INSTANCE_STRATEGY = null;
+    public static PropertyExclusionClassMatcher DEFAULT_PROPERTY_EXCLUSION_CLASS_MATCHER = null;
+    public static PropertyNameProcessorMatcher DEFAULT_PROPERTY_NAME_PROCESSOR_MATCHER = null;
+    public static int MODE_LIST = 0;
+    public static int MODE_OBJECT_ARRAY = 0;
+    public static int MODE_SET = 0;
+    public void addIgnoreFieldAnnotation(Class p0){}
+    public void addIgnoreFieldAnnotation(String p0){}
+    public void addJsonEventListener(JsonEventListener p0){}
+    public void clearJavaPropertyNameProcessors(){}
+    public void clearJsonBeanProcessors(){}
+    public void clearJsonEventListeners(){}
+    public void clearJsonPropertyNameProcessors(){}
+    public void clearJsonValueProcessors(){}
+    public void clearPropertyExclusions(){}
+    public void clearPropertyNameProcessors(){}
+    public void disableEventTriggering(){}
+    public void enableEventTriggering(){}
+    public void registerDefaultValueProcessor(Class p0, DefaultValueProcessor p1){}
+    public void registerJavaPropertyNameProcessor(Class p0, PropertyNameProcessor p1){}
+    public void registerJsonBeanProcessor(Class p0, JsonBeanProcessor p1){}
+    public void registerJsonPropertyNameProcessor(Class p0, PropertyNameProcessor p1){}
+    public void registerJsonValueProcessor(Class p0, Class p1, JsonValueProcessor p2){}
+    public void registerJsonValueProcessor(Class p0, JsonValueProcessor p1){}
+    public void registerJsonValueProcessor(Class p0, String p1, JsonValueProcessor p2){}
+    public void registerJsonValueProcessor(String p0, JsonValueProcessor p1){}
+    public void registerPropertyExclusion(Class p0, String p1){}
+    public void registerPropertyExclusions(Class p0, String[] p1){}
+    public void registerPropertyNameProcessor(Class p0, PropertyNameProcessor p1){}
+    public void removeIgnoreFieldAnnotation(Class p0){}
+    public void removeIgnoreFieldAnnotation(String p0){}
+    public void removeJsonEventListener(JsonEventListener p0){}
+    public void reset(){}
+    public void setAllowNonStringKeys(boolean p0){}
+    public void setArrayMode(int p0){}
+    public void setClassMap(Map p0){}
+    public void setCollectionType(Class p0){}
+    public void setCycleDetectionStrategy(CycleDetectionStrategy p0){}
+    public void setDefaultValueProcessorMatcher(DefaultValueProcessorMatcher p0){}
+    public void setEnclosedType(Class p0){}
+    public void setExcludes(String[] p0){}
+    public void setHandleJettisonEmptyElement(boolean p0){}
+    public void setHandleJettisonSingleElementArray(boolean p0){}
+    public void setIgnoreDefaultExcludes(boolean p0){}
+    public void setIgnoreJPATransient(boolean p0){}
+    public void setIgnorePublicFields(boolean p0){}
+    public void setIgnoreTransientFields(boolean p0){}
+    public void setIgnoreUnreadableProperty(boolean p0){}
+    public void setJavaIdentifierTransformer(JavaIdentifierTransformer p0){}
+    public void setJavaPropertyFilter(PropertyFilter p0){}
+    public void setJavaPropertyNameProcessorMatcher(PropertyNameProcessorMatcher p0){}
+    public void setJavascriptCompliant(boolean p0){}
+    public void setJsonBeanProcessorMatcher(JsonBeanProcessorMatcher p0){}
+    public void setJsonPropertyFilter(PropertyFilter p0){}
+    public void setJsonPropertyNameProcessorMatcher(PropertyNameProcessorMatcher p0){}
+    public void setJsonValueProcessorMatcher(JsonValueProcessorMatcher p0){}
+    public void setNewBeanInstanceStrategy(NewBeanInstanceStrategy p0){}
+    public void setPropertyExclusionClassMatcher(PropertyExclusionClassMatcher p0){}
+    public void setPropertyNameProcessorMatcher(PropertyNameProcessorMatcher p0){}
+    public void setPropertySetStrategy(PropertySetStrategy p0){}
+    public void setRootClass(Class p0){}
+    public void setSkipJavaIdentifierTransformationInMapKeys(boolean p0){}
+    public void unregisterDefaultValueProcessor(Class p0){}
+    public void unregisterJavaPropertyNameProcessor(Class p0){}
+    public void unregisterJsonBeanProcessor(Class p0){}
+    public void unregisterJsonPropertyNameProcessor(Class p0){}
+    public void unregisterJsonValueProcessor(Class p0){}
+    public void unregisterJsonValueProcessor(Class p0, Class p1){}
+    public void unregisterJsonValueProcessor(Class p0, String p1){}
+    public void unregisterJsonValueProcessor(String p0){}
+    public void unregisterPropertyExclusion(Class p0, String p1){}
+    public void unregisterPropertyExclusions(Class p0){}
+    public void unregisterPropertyNameProcessor(Class p0){}
+}

java/ql/test/stubs/saxon-xqj-9.x/net/sf/json/processors/DefaultValueProcessor.java

@@ -0,0 +1,9 @@
+// Generated automatically from net.sf.json.processors.DefaultValueProcessor for testing purposes
+
+package net.sf.json.processors;
+
+
+public interface DefaultValueProcessor
+{
+    Object getDefaultValue(Class p0);
+}

java/ql/test/stubs/saxon-xqj-9.x/net/sf/json/processors/DefaultValueProcessorMatcher.java

@@ -0,0 +1,12 @@
+// Generated automatically from net.sf.json.processors.DefaultValueProcessorMatcher for testing purposes
+
+package net.sf.json.processors;
+
+import java.util.Set;
+
+abstract public class DefaultValueProcessorMatcher
+{
+    public DefaultValueProcessorMatcher(){}
+    public abstract Object getMatch(Class p0, Set p1);
+    public static DefaultValueProcessorMatcher DEFAULT = null;
+}

java/ql/test/stubs/saxon-xqj-9.x/net/sf/json/processors/JsonBeanProcessor.java

@@ -0,0 +1,11 @@
+// Generated automatically from net.sf.json.processors.JsonBeanProcessor for testing purposes
+
+package net.sf.json.processors;
+
+import net.sf.json.JSONObject;
+import net.sf.json.JsonConfig;
+
+public interface JsonBeanProcessor
+{
+    JSONObject processBean(Object p0, JsonConfig p1);
+}

java/ql/test/stubs/saxon-xqj-9.x/net/sf/json/processors/JsonBeanProcessorMatcher.java

@@ -0,0 +1,12 @@
+// Generated automatically from net.sf.json.processors.JsonBeanProcessorMatcher for testing purposes
+
+package net.sf.json.processors;
+
+import java.util.Set;
+
+abstract public class JsonBeanProcessorMatcher
+{
+    public JsonBeanProcessorMatcher(){}
+    public abstract Object getMatch(Class p0, Set p1);
+    public static JsonBeanProcessorMatcher DEFAULT = null;
+}

java/ql/test/stubs/saxon-xqj-9.x/net/sf/json/processors/JsonValueProcessor.java

@@ -0,0 +1,11 @@
+// Generated automatically from net.sf.json.processors.JsonValueProcessor for testing purposes
+
+package net.sf.json.processors;
+
+import net.sf.json.JsonConfig;
+
+public interface JsonValueProcessor
+{
+    Object processArrayValue(Object p0, JsonConfig p1);
+    Object processObjectValue(String p0, Object p1, JsonConfig p2);
+}

java/ql/test/stubs/saxon-xqj-9.x/net/sf/json/processors/JsonValueProcessorMatcher.java

@@ -0,0 +1,12 @@
+// Generated automatically from net.sf.json.processors.JsonValueProcessorMatcher for testing purposes
+
+package net.sf.json.processors;
+
+import java.util.Set;
+
+abstract public class JsonValueProcessorMatcher
+{
+    public JsonValueProcessorMatcher(){}
+    public abstract Object getMatch(Class p0, Set p1);
+    public static JsonValueProcessorMatcher DEFAULT = null;
+}

java/ql/test/stubs/saxon-xqj-9.x/net/sf/json/processors/PropertyNameProcessor.java

@@ -0,0 +1,9 @@
+// Generated automatically from net.sf.json.processors.PropertyNameProcessor for testing purposes
+
+package net.sf.json.processors;
+
+
+public interface PropertyNameProcessor
+{
+    String processPropertyName(Class p0, String p1);
+}

java/ql/test/stubs/saxon-xqj-9.x/net/sf/json/processors/PropertyNameProcessorMatcher.java

@@ -0,0 +1,12 @@
+// Generated automatically from net.sf.json.processors.PropertyNameProcessorMatcher for testing purposes
+
+package net.sf.json.processors;
+
+import java.util.Set;
+
+abstract public class PropertyNameProcessorMatcher
+{
+    public PropertyNameProcessorMatcher(){}
+    public abstract Object getMatch(Class p0, Set p1);
+    public static PropertyNameProcessorMatcher DEFAULT = null;
+}

java/ql/test/stubs/saxon-xqj-9.x/net/sf/json/util/CycleDetectionStrategy.java

@@ -0,0 +1,18 @@
+// Generated automatically from net.sf.json.util.CycleDetectionStrategy for testing purposes
+
+package net.sf.json.util;
+
+import net.sf.json.JSONArray;
+import net.sf.json.JSONObject;
+
+abstract public class CycleDetectionStrategy
+{
+    public CycleDetectionStrategy(){}
+    public abstract JSONArray handleRepeatedReferenceAsArray(Object p0);
+    public abstract JSONObject handleRepeatedReferenceAsObject(Object p0);
+    public static CycleDetectionStrategy LENIENT = null;
+    public static CycleDetectionStrategy NOPROP = null;
+    public static CycleDetectionStrategy STRICT = null;
+    public static JSONArray IGNORE_PROPERTY_ARR = null;
+    public static JSONObject IGNORE_PROPERTY_OBJ = null;
+}

java/ql/test/stubs/saxon-xqj-9.x/net/sf/json/util/JavaIdentifierTransformer.java

@@ -0,0 +1,16 @@
+// Generated automatically from net.sf.json.util.JavaIdentifierTransformer for testing purposes
+
+package net.sf.json.util;
+
+
+abstract public class JavaIdentifierTransformer
+{
+    protected final String shaveOffNonJavaIdentifierStartChars(String p0){ return null; }
+    public JavaIdentifierTransformer(){}
+    public abstract String transformToJavaIdentifier(String p0);
+    public static JavaIdentifierTransformer CAMEL_CASE = null;
+    public static JavaIdentifierTransformer NOOP = null;
+    public static JavaIdentifierTransformer STRICT = null;
+    public static JavaIdentifierTransformer UNDERSCORE = null;
+    public static JavaIdentifierTransformer WHITESPACE = null;
+}

java/ql/test/stubs/saxon-xqj-9.x/net/sf/json/util/JsonEventListener.java

@@ -0,0 +1,17 @@
+// Generated automatically from net.sf.json.util.JsonEventListener for testing purposes
+
+package net.sf.json.util;
+
+import net.sf.json.JSONException;
+
+public interface JsonEventListener
+{
+    void onArrayEnd();
+    void onArrayStart();
+    void onElementAdded(int p0, Object p1);
+    void onError(JSONException p0);
+    void onObjectEnd();
+    void onObjectStart();
+    void onPropertySet(String p0, Object p1, boolean p2);
+    void onWarning(String p0);
+}

java/ql/test/stubs/saxon-xqj-9.x/net/sf/json/util/NewBeanInstanceStrategy.java

@@ -0,0 +1,12 @@
+// Generated automatically from net.sf.json.util.NewBeanInstanceStrategy for testing purposes
+
+package net.sf.json.util;
+
+import net.sf.json.JSONObject;
+
+abstract public class NewBeanInstanceStrategy
+{
+    public NewBeanInstanceStrategy(){}
+    public abstract Object newInstance(Class p0, JSONObject p1);
+    public static NewBeanInstanceStrategy DEFAULT = null;
+}

java/ql/test/stubs/saxon-xqj-9.x/net/sf/json/util/PropertyExclusionClassMatcher.java

@@ -0,0 +1,12 @@
+// Generated automatically from net.sf.json.util.PropertyExclusionClassMatcher for testing purposes
+
+package net.sf.json.util;
+
+import java.util.Set;
+
+abstract public class PropertyExclusionClassMatcher
+{
+    public PropertyExclusionClassMatcher(){}
+    public abstract Object getMatch(Class p0, Set p1);
+    public static PropertyExclusionClassMatcher DEFAULT = null;
+}

java/ql/test/stubs/saxon-xqj-9.x/net/sf/json/util/PropertyFilter.java

@@ -0,0 +1,9 @@
+// Generated automatically from net.sf.json.util.PropertyFilter for testing purposes
+
+package net.sf.json.util;
+
+
+public interface PropertyFilter
+{
+    boolean apply(Object p0, String p1, Object p2);
+}

java/ql/test/stubs/saxon-xqj-9.x/net/sf/json/util/PropertySetStrategy.java

@@ -0,0 +1,13 @@
+// Generated automatically from net.sf.json.util.PropertySetStrategy for testing purposes
+
+package net.sf.json.util;
+
+import net.sf.json.JsonConfig;
+
+abstract public class PropertySetStrategy
+{
+    public PropertySetStrategy(){}
+    public abstract void setProperty(Object p0, String p1, Object p2);
+    public static PropertySetStrategy DEFAULT = null;
+    public void setProperty(Object p0, String p1, Object p2, JsonConfig p3){}
+}

java/ql/test/stubs/stapler-1.263/org/kohsuke/stapler/AbstractTearOff.java

@@ -0,0 +1,23 @@
+// Generated automatically from org.kohsuke.stapler.AbstractTearOff for testing purposes
+
+package org.kohsuke.stapler;
+
+import java.net.URL;
+import org.kohsuke.stapler.CachingScriptLoader;
+import org.kohsuke.stapler.MetaClass;
+import org.kohsuke.stapler.WebApp;
+
+abstract public class AbstractTearOff<CLT, S, E extends Exception> extends CachingScriptLoader<S, E>
+{
+    protected AbstractTearOff() {}
+    protected AbstractTearOff(MetaClass p0, Class<CLT> p1){}
+    protected URL getResource(String p0){ return null; }
+    protected abstract S parseScript(URL p0);
+    protected abstract String getDefaultScriptExtension();
+    protected boolean hasAllowedExtension(String p0){ return false; }
+    protected final CLT classLoader = null;
+    protected final MetaClass owner = null;
+    protected final S loadScript(String p0){ return null; }
+    protected final WebApp getWebApp(){ return null; }
+    public S resolveScript(String p0){ return null; }
+}

java/ql/test/stubs/stapler-1.263/org/kohsuke/stapler/Ancestor.java

@@ -0,0 +1,16 @@
+// Generated automatically from org.kohsuke.stapler.Ancestor for testing purposes
+
+package org.kohsuke.stapler;
+
+
+public interface Ancestor
+{
+    Ancestor getNext();
+    Ancestor getPrev();
+    Object getObject();
+    String getFullUrl();
+    String getNextToken(int p0);
+    String getRelativePath();
+    String getRestOfUrl();
+    String getUrl();
+}