Java: update top jdk apis test case with stubs

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApisTest.expected

@@ -0,0 +1,20 @@
+| java.io | 0 | 0 | 21 | 10 | 31 | 0.6774193548387096 | 0.0 | 0.6774193548387096 | 0.0 | NaN | 0.3225806451612903 |
+| java.lang | 0 | 0 | 44 | 103 | 147 | 0.29931972789115646 | 0.0 | 0.29931972789115646 | 0.0 | NaN | 0.7006802721088435 |
+| java.lang.reflect | 0 | 0 | 0 | 4 | 4 | 0.0 | 0.0 | 0.0 | NaN | NaN | 1.0 |
+| java.math | 0 | 0 | 0 | 16 | 16 | 0.0 | 0.0 | 0.0 | NaN | NaN | 1.0 |
+| java.net | 0 | 0 | 5 | 0 | 5 | 1.0 | 0.0 | 1.0 | 0.0 | NaN | 0.0 |
+| java.nio | 0 | 0 | 2 | 3 | 5 | 0.4 | 0.0 | 0.4 | 0.0 | NaN | 0.6 |
+| java.nio.charset | 0 | 0 | 0 | 1 | 1 | 0.0 | 0.0 | 0.0 | NaN | NaN | 1.0 |
+| java.nio.file | 0 | 0 | 1 | 1 | 2 | 0.5 | 0.0 | 0.5 | 0.0 | NaN | 0.5 |
+| java.sql | 0 | 0 | 0 | 2 | 2 | 0.0 | 0.0 | 0.0 | NaN | NaN | 1.0 |
+| java.text | 0 | 0 | 0 | 5 | 5 | 0.0 | 0.0 | 0.0 | NaN | NaN | 1.0 |
+| java.time | 0 | 0 | 0 | 17 | 17 | 0.0 | 0.0 | 0.0 | NaN | NaN | 1.0 |
+| java.time.chrono | 0 | 0 | 0 | 1 | 1 | 0.0 | 0.0 | 0.0 | NaN | NaN | 1.0 |
+| java.time.format | 0 | 0 | 0 | 2 | 2 | 0.0 | 0.0 | 0.0 | NaN | NaN | 1.0 |
+| java.util | 0 | 0 | 36 | 52 | 88 | 0.4090909090909091 | 0.0 | 0.4090909090909091 | 0.0 | NaN | 0.5909090909090909 |
+| java.util.concurrent | 0 | 0 | 4 | 8 | 12 | 0.3333333333333333 | 0.0 | 0.3333333333333333 | 0.0 | NaN | 0.6666666666666666 |
+| java.util.concurrent.atomic | 0 | 0 | 2 | 11 | 13 | 0.15384615384615385 | 0.0 | 0.15384615384615385 | 0.0 | NaN | 0.8461538461538461 |
+| java.util.function | 0 | 0 | 0 | 1 | 1 | 0.0 | 0.0 | 0.0 | NaN | NaN | 1.0 |
+| java.util.logging | 0 | 0 | 1 | 1 | 2 | 0.5 | 0.0 | 0.5 | 0.0 | NaN | 0.5 |
+| java.util.regex | 0 | 0 | 3 | 1 | 4 | 0.75 | 0.0 | 0.75 | 0.0 | NaN | 0.25 |
+| java.util.stream | 0 | 0 | 3 | 5 | 8 | 0.375 | 0.0 | 0.375 | 0.0 | NaN | 0.625 |

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/TopJdkApisTest.java

@@ -1,45 +0,0 @@
-import java.awt.Container;
-import java.io.BufferedReader;
-import java.io.ByteArrayInputStream;
-import java.io.FileInputStream;
-import java.io.InputStreamReader;
-import java.io.StringReader;
-import java.io.StringWriter;
-import java.io.UncheckedIOException;
-import java.lang.AssertionError;
-import java.lang.IllegalStateException;
-import java.lang.IndexOutOfBoundsException;
-import java.lang.NullPointerException;
-import java.lang.Math;
-import java.lang.Runtime;
-import java.lang.System;
-import java.math.BigDecimal;
-import java.nio.file.Files;
-import java.nio.file.Paths;
-import java.sql.ResultSet;
-import java.text.DateFormat;
-import java.text.MessageFormat;
-import java.text.SimpleDateFormat;
-import java.util.ArrayList;
-import java.util.Arrays;
-import java.util.Collections;
-import java.util.HashMap;
-import java.util.HashSet;
-import java.util.LinkedList;
-import java.util.Map;
-import java.util.Objects;
-import java.util.StringJoiner;
-import java.util.StringTokenizer;
-import java.util.UUID;
-import java.util.concurrent.CompletableFuture;
-import java.util.concurrent.CountDownLatch;
-import java.util.concurrent.atomic.AtomicBoolean;
-import java.util.concurrent.atomic.AtomicInteger;
-import java.util.concurrent.atomic.AtomicLong;
-import java.util.concurrent.atomic.AtomicReference;
-import java.util.logging.Logger;
-import java.util.regex.Matcher;
-import java.util.regex.Pattern;
-import java.util.stream.Collectors;
-
-public class TopJdkApisTest { }

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/awt/Container.java

@@ -0,0 +1,29 @@
+// Generated automatically from java.awt.Container for testing purposes
+
+package java.awt;
+
+import java.awt.AWTEvent;
+import java.awt.AWTKeyStroke;
+import java.awt.Component;
+import java.awt.ComponentOrientation;
+import java.awt.Dimension;
+import java.awt.Event;
+import java.awt.FocusTraversalPolicy;
+import java.awt.Font;
+import java.awt.Graphics;
+import java.awt.Insets;
+import java.awt.LayoutManager;
+import java.awt.Point;
+import java.awt.event.ContainerEvent;
+import java.awt.event.ContainerListener;
+import java.beans.PropertyChangeListener;
+import java.io.PrintStream;
+import java.io.PrintWriter;
+import java.util.EventListener;
+import java.util.Set;
+
+public class Container extends Component
+{
+    public Component add(Component p0){ return null; } // manual summary
+    public void add(Component p0, Object p1){} // manual summary
+}

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/awt/Insets.java

@@ -0,0 +1,11 @@
+// Generated automatically from java.awt.Insets for testing purposes
+
+package java.awt;
+
+import java.io.Serializable;
+
+public class Insets implements Cloneable, Serializable
+{
+    protected Insets() {}
+    public Insets(int p0, int p1, int p2, int p3){} // manual neutral
+}

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/io/BufferedReader.java

@@ -0,0 +1,13 @@
+// Generated automatically from java.io.BufferedReader for testing purposes
+
+package java.io;
+
+import java.io.Reader;
+import java.util.stream.Stream;
+
+public class BufferedReader
+{
+    protected BufferedReader() {}
+    public BufferedReader(Reader p0){} // manual summary
+    public String readLine(){ return null; } // manual summary
+}

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/io/ByteArrayInputStream.java

@@ -0,0 +1,11 @@
+// Generated automatically from java.io.ByteArrayInputStream for testing purposes
+
+package java.io;
+
+import java.io.InputStream;
+
+public class ByteArrayInputStream
+{
+    protected ByteArrayInputStream() {}
+    public ByteArrayInputStream(byte[] p0){} // manual summary
+}

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/io/ByteArrayOutputStream.java

@@ -0,0 +1,10 @@
+// Generated automatically from java.io.ByteArrayOutputStream for testing purposes
+
+package java.io;
+
+import java.io.OutputStream;
+
+public class ByteArrayOutputStream
+{
+    public byte[] toByteArray(){ return null; } // manual summary
+}

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/io/Closeable.java

@@ -0,0 +1,9 @@
+// Generated automatically from java.io.Closeable for testing purposes
+
+package java.io;
+
+
+public interface Closeable extends AutoCloseable
+{
+    void close(); // manual neutral
+}

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/io/DataInput.java

@@ -0,0 +1,10 @@
+// Generated automatically from java.io.DataInput for testing purposes
+
+package java.io;
+
+
+public interface DataInput
+{
+    int readInt(); // manual neutral
+    long readLong(); // manual neutral
+}

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/io/DataOutput.java

@@ -0,0 +1,11 @@
+// Generated automatically from java.io.DataOutput for testing purposes
+
+package java.io;
+
+
+public interface DataOutput
+{
+    void writeBoolean(boolean p0); // manual neutral
+    void writeInt(int p0); // manual neutral
+    void writeLong(long p0); // manual neutral
+}

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/io/File.java

@@ -0,0 +1,31 @@
+// Generated automatically from java.io.File for testing purposes
+
+package java.io;
+
+import java.io.FileFilter;
+import java.io.FilenameFilter;
+import java.io.Serializable;
+import java.net.URI;
+import java.net.URL;
+import java.nio.file.Path;
+
+public class File implements Serializable
+{
+    protected File() {}
+    public File getParentFile(){ return null; } // manual summary
+    public File(File p0, String p1){} // manual summary
+    public File(String p0){} // manual summary
+    public File(String p0, String p1){} // manual summary
+    public File[] listFiles(){ return null; } // manual summary
+    public Path toPath(){ return null; } // manual summary
+    public String getAbsolutePath(){ return null; } // manual summary
+    public String getName(){ return null; } // manual summary
+    public String getPath(){ return null; } // manual summary
+    public URI toURI(){ return null; } // manual summary
+    public boolean delete(){ return false; } // manual neutral
+    public boolean exists(){ return false; } // manual neutral
+    public boolean isDirectory(){ return false; } // manual neutral
+    public boolean isFile(){ return false; } // manual neutral
+    public boolean mkdirs(){ return false; } // manual neutral
+    public long length(){ return 0; } // manual neutral
+}

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/io/FileInputStream.java

@@ -0,0 +1,14 @@
+// Generated automatically from java.io.FileInputStream for testing purposes
+
+package java.io;
+
+import java.io.File;
+import java.io.FileDescriptor;
+import java.io.InputStream;
+import java.nio.channels.FileChannel;
+
+public class FileInputStream extends InputStream
+{
+    protected FileInputStream() {}
+    public FileInputStream(File p0){} // manual neutral
+}

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/io/IOException.java

@@ -0,0 +1,9 @@
+// Generated automatically from java.io.IOException for testing purposes
+
+package java.io;
+
+
+public class IOException
+{
+    public IOException(String p0){} // manual summary
+}

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/io/InputStream.java

@@ -0,0 +1,10 @@
+// Generated automatically from java.io.InputStream for testing purposes
+
+package java.io;
+
+import java.io.Closeable;
+
+abstract public class InputStream implements Closeable
+{
+    public void close(){} // manual neutral
+}

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/io/InputStreamReader.java

@@ -0,0 +1,14 @@
+// Generated automatically from java.io.InputStreamReader for testing purposes
+
+package java.io;
+
+import java.io.InputStream;
+import java.io.Reader;
+import java.nio.charset.Charset;
+import java.nio.charset.CharsetDecoder;
+
+public class InputStreamReader
+{
+    protected InputStreamReader() {}
+    public InputStreamReader(InputStream p0){} // manual summary
+}

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/io/OutputStream.java

@@ -0,0 +1,12 @@
+// Generated automatically from java.io.OutputStream for testing purposes
+
+package java.io;
+
+import java.io.Closeable;
+import java.io.Flushable;
+
+abstract public class OutputStream implements Closeable, Flushable
+{
+    public void flush(){} // manual neutral
+    public void write(byte[] p0){} // manual summary
+}

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/io/PrintWriter.java

@@ -0,0 +1,14 @@
+// Generated automatically from java.io.PrintWriter for testing purposes
+
+package java.io;
+
+import java.io.File;
+import java.io.OutputStream;
+import java.io.Writer;
+import java.util.Locale;
+
+public class PrintWriter
+{
+    protected PrintWriter() {}
+    public void write(String p0){} // manual summary
+}

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/io/StringReader.java

@@ -0,0 +1,11 @@
+// Generated automatically from java.io.StringReader for testing purposes
+
+package java.io;
+
+import java.io.Reader;
+
+public class StringReader
+{
+    protected StringReader() {}
+    public StringReader(String p0){} // manual summary
+}

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/io/StringWriter.java

@@ -0,0 +1,10 @@
+// Generated automatically from java.io.StringWriter for testing purposes
+
+package java.io;
+
+import java.io.Writer;
+
+public class StringWriter
+{
+    public String toString(){ return null; } // manual summary
+}

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/io/UncheckedIOException.java

@@ -0,0 +1,11 @@
+// Generated automatically from java.io.UncheckedIOException for testing purposes
+
+package java.io;
+
+import java.io.IOException;
+
+public class UncheckedIOException
+{
+    protected UncheckedIOException() {}
+    public UncheckedIOException(IOException p0){} // manual summary
+}

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/io/Writer.java

@@ -0,0 +1,11 @@
+// Generated automatically from java.io.Writer for testing purposes
+
+package java.io;
+
+import java.io.Closeable;
+import java.io.Flushable;
+
+abstract public class Writer implements Appendable, Closeable, Flushable
+{
+    public void write(String p0){} // manual summary
+}

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/AbstractStringBuilder.java

@@ -0,0 +1,12 @@
+// Generated automatically from java.lang.AbstractStringBuilder for testing purposes
+
+package java.lang;
+
+
+abstract class AbstractStringBuilder implements Appendable, CharSequence
+{
+    public char charAt(int p0){ return '0'; } // manual summary
+    public int length(){ return 0; } // manual neutral
+    public void setCharAt(int p0, char p1){} // manual neutral
+    public void setLength(int p0){} // manual neutral
+}

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/AssertionError.java

@@ -0,0 +1,9 @@
+// Generated automatically from java.lang.AssertionError for testing purposes
+
+package java.lang;
+
+
+public class AssertionError extends Error
+{
+    public AssertionError(Object p0){} // manual summary
+}

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/Boolean.java

@@ -0,0 +1,14 @@
+// Generated automatically from java.lang.Boolean for testing purposes
+
+package java.lang;
+
+import java.io.Serializable;
+
+public class Boolean implements Serializable
+{
+    protected Boolean() {}
+    public boolean booleanValue(){ return false; } // manual neutral
+    public boolean equals(Object p0){ return false; } // manual neutral
+    public static Boolean valueOf(boolean p0){ return null; } // manual neutral
+    public static boolean parseBoolean(String p0){ return false; } // manual neutral
+}

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/CharSequence.java

@@ -0,0 +1,11 @@
+// Generated automatically from java.lang.CharSequence for testing purposes
+
+package java.lang;
+
+import java.util.stream.IntStream;
+
+public interface CharSequence
+{
+    String toString(); // manual summary
+    int length(); // manual neutral
+}

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/Class.java

@@ -0,0 +1,36 @@
+// Generated automatically from java.lang.Class for testing purposes
+
+package java.lang;
+
+import java.io.InputStream;
+import java.io.Serializable;
+import java.lang.annotation.Annotation;
+import java.lang.reflect.AnnotatedElement;
+import java.lang.reflect.AnnotatedType;
+import java.lang.reflect.Constructor;
+import java.lang.reflect.Field;
+import java.lang.reflect.GenericDeclaration;
+import java.lang.reflect.Method;
+import java.lang.reflect.Type;
+import java.lang.reflect.TypeVariable;
+import java.net.URL;
+import java.security.ProtectionDomain;
+
+public class Class<T> implements Serializable, Type
+{
+    protected Class() {}
+    public ClassLoader getClassLoader(){ return null; } // manual neutral
+    public Field getDeclaredField(String p0){ return null; } // manual neutral
+    public InputStream getResourceAsStream(String p0){ return null; } // manual neutral
+    public Method getMethod(String p0, Class<? extends Object>... p1){ return null; } // manual neutral
+    public String getCanonicalName(){ return null; } // manual neutral
+    public String getName(){ return null; } // manual neutral
+    public String getSimpleName(){ return null; } // manual neutral
+    public String toString(){ return null; } // manual neutral
+    public T cast(Object p0){ return null; } // manual summary
+    public URL getResource(String p0){ return null; } // manual neutral
+    public boolean isAssignableFrom(Class<? extends Object> p0){ return false; } // manual neutral
+    public boolean isInstance(Object p0){ return false; } // manual neutral
+    public java.lang.reflect.Constructor<T> getDeclaredConstructor(Class<? extends Object>... p0){ return null; } // manual neutral
+    public static Class<? extends Object> forName(String p0){ return null; } // manual neutral
+}

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/ClassLoader.java

@@ -0,0 +1,15 @@
+// Generated automatically from java.lang.ClassLoader for testing purposes
+
+package java.lang;
+
+import java.io.InputStream;
+import java.net.URL;
+import java.nio.ByteBuffer;
+import java.security.ProtectionDomain;
+import java.util.Enumeration;
+
+abstract public class ClassLoader
+{
+    public InputStream getResourceAsStream(String p0){ return null; } // manual neutral
+    public URL getResource(String p0){ return null; } // manual neutral
+}

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/Double.java

@@ -0,0 +1,12 @@
+// Generated automatically from java.lang.Double for testing purposes
+
+package java.lang;
+
+
+public class Double
+{
+    protected Double() {}
+    public static Double valueOf(double p0){ return null; } // manual neutral
+    public static double parseDouble(String p0){ return 0; } // manual neutral
+    public static long doubleToLongBits(double p0){ return 0; } // manual neutral
+}

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/Enum.java

@@ -0,0 +1,16 @@
+// Generated automatically from java.lang.Enum for testing purposes
+
+package java.lang;
+
+import java.io.Serializable;
+
+abstract public class Enum<E extends Enum<E>> implements Comparable<E>, Serializable
+{
+    protected Enum() {}
+    protected Enum(String p0, int p1){} // manual neutral
+    public String toString(){ return null; } // manual neutral
+    public final String name(){ return null; } // manual neutral
+    public final boolean equals(Object p0){ return false; } // manual neutral
+    public final int hashCode(){ return 0; } // manual neutral
+    public final int ordinal(){ return 0; } // manual neutral
+}

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/Exception.java

@@ -0,0 +1,10 @@
+// Generated automatically from java.lang.Exception for testing purposes
+
+package java.lang;
+
+
+public class Exception
+{
+    public Exception(String p0){} // manual summary
+    public Exception(String p0, Throwable p1){} // manual summary
+}

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/IllegalArgumentException.java

@@ -0,0 +1,9 @@
+// Generated automatically from java.lang.IllegalArgumentException for testing purposes
+
+package java.lang;
+
+
+public class IllegalArgumentException
+{
+    public IllegalArgumentException(String p0){} // manual summary
+}

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/IllegalStateException.java

@@ -0,0 +1,9 @@
+// Generated automatically from java.lang.IllegalStateException for testing purposes
+
+package java.lang;
+
+
+public class IllegalStateException
+{
+    public IllegalStateException(String p0){} // manual summary
+}

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/IndexOutOfBoundsException.java

@@ -0,0 +1,9 @@
+// Generated automatically from java.lang.IndexOutOfBoundsException for testing purposes
+
+package java.lang;
+
+
+public class IndexOutOfBoundsException
+{
+    public IndexOutOfBoundsException(String p0){} // manual summary
+}

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/Integer.java

@@ -0,0 +1,18 @@
+// Generated automatically from java.lang.Integer for testing purposes
+
+package java.lang;
+
+
+public class Integer
+{
+    protected Integer() {}
+    public Integer(int p0){} // manual neutral
+    public String toString(){ return null; } // manual neutral
+    public boolean equals(Object p0){ return false; } // manual neutral
+    public int intValue(){ return 0; } // manual neutral
+    public static Integer valueOf(String p0){ return null; } // manual neutral
+    public static Integer valueOf(int p0){ return null; } // manual neutral
+    public static String toHexString(int p0){ return null; } // manual neutral
+    public static String toString(int p0){ return null; } // manual neutral
+    public static int parseInt(String p0){ return 0; } // manual neutral
+}

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/Iterable.java

@@ -0,0 +1,13 @@
+// Generated automatically from java.lang.Iterable for testing purposes
+
+package java.lang;
+
+import java.util.Iterator;
+import java.util.Spliterator;
+import java.util.function.Consumer;
+
+public interface Iterable<T>
+{
+    default void forEach(java.util.function.Consumer<? super T> p0){} // manual summary
+    java.util.Iterator<T> iterator(); // manual summary
+}

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/Long.java

@@ -0,0 +1,18 @@
+// Generated automatically from java.lang.Long for testing purposes
+
+package java.lang;
+
+
+public class Long
+{
+    protected Long() {}
+    public Long(long p0){} // manual neutral
+    public String toString(){ return null; } // manual neutral
+    public boolean equals(Object p0){ return false; } // manual neutral
+    public int intValue(){ return 0; } // manual neutral
+    public long longValue(){ return 0; } // manual neutral
+    public static Long valueOf(String p0){ return null; } // manual neutral
+    public static Long valueOf(long p0){ return null; } // manual neutral
+    public static String toString(long p0){ return null; } // manual neutral
+    public static long parseLong(String p0){ return 0; } // manual neutral
+}

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/Math.java

@@ -0,0 +1,13 @@
+// Generated automatically from java.lang.Math for testing purposes
+
+package java.lang;
+
+
+public class Math
+{
+    protected Math() {}
+    public static int max(int p0, int p1){ return 0; } // manual neutral
+    public static int min(int p0, int p1){ return 0; } // manual neutral
+    public static long max(long p0, long p1){ return 0; } // manual neutral
+    public static long min(long p0, long p1){ return 0; } // manual neutral
+}

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/NullPointerException.java

@@ -0,0 +1,9 @@
+// Generated automatically from java.lang.NullPointerException for testing purposes
+
+package java.lang;
+
+
+public class NullPointerException
+{
+    public NullPointerException(String p0){} // manual summary
+}

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/Number.java

@@ -0,0 +1,12 @@
+// Generated automatically from java.lang.Number for testing purposes
+
+package java.lang;
+
+import java.io.Serializable;
+
+abstract public class Number implements Serializable
+{
+    public abstract double doubleValue(); // manual neutral
+    public abstract int intValue(); // manual neutral
+    public abstract long longValue(); // manual neutral
+}

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/Object.java

@@ -0,0 +1,12 @@
+// Generated automatically from java.lang.Object for testing purposes
+
+package java.lang;
+
+
+public class Object
+{
+    public String toString(){ return null; } // manual neutral
+    public boolean equals(Object p0){ return false; } // manual neutral
+    public final Class<? extends Object> getClass(){ return null; } // manual neutral
+    public int hashCode(){ return 0; } // manual neutral
+}

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/Runnable.java

@@ -0,0 +1,9 @@
+// Generated automatically from java.lang.Runnable for testing purposes
+
+package java.lang;
+
+
+public interface Runnable
+{
+    void run(); // manual neutral
+}

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/Runtime.java

@@ -0,0 +1,13 @@
+// Generated automatically from java.lang.Runtime for testing purposes
+
+package java.lang;
+
+import java.io.File;
+import java.io.InputStream;
+import java.io.OutputStream;
+
+public class Runtime
+{
+    protected Runtime() {}
+    public static Runtime getRuntime(){ return null; } // manual neutral
+}

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/RuntimeException.java

@@ -0,0 +1,11 @@
+// Generated automatically from java.lang.RuntimeException for testing purposes
+
+package java.lang;
+
+
+public class RuntimeException
+{
+    public RuntimeException(String p0){} // manual summary
+    public RuntimeException(String p0, Throwable p1){} // manual summary
+    public RuntimeException(Throwable p0){} // manual summary
+}

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/String.java

@@ -0,0 +1,51 @@
+// Generated automatically from java.lang.String for testing purposes
+
+package java.lang;
+
+import java.io.Serializable;
+import java.nio.charset.Charset;
+import java.util.Comparator;
+import java.util.Locale;
+
+public class String implements Comparable<String>, Serializable
+{
+    public String concat(String p0){ return null; } // manual summary
+    public String replace(CharSequence p0, CharSequence p1){ return null; } // manual summary
+    public String replace(char p0, char p1){ return null; } // manual summary
+    public String replaceAll(String p0, String p1){ return null; } // manual summary
+    public String substring(int p0){ return null; } // manual summary
+    public String substring(int p0, int p1){ return null; } // manual summary
+    public String toLowerCase(){ return null; } // manual summary
+    public String toLowerCase(Locale p0){ return null; } // manual summary
+    public String toString(){ return null; } // manual summary
+    public String toUpperCase(){ return null; } // manual summary
+    public String trim(){ return null; } // manual summary
+    public String(String p0){} // manual summary
+    public String(byte[] p0){} // manual summary
+    public String(byte[] p0, Charset p1){} // manual summary
+    public String[] split(String p0){ return null; } // manual summary
+    public boolean contains(CharSequence p0){ return false; } // manual neutral
+    public boolean endsWith(String p0){ return false; } // manual neutral
+    public boolean equals(Object p0){ return false; } // manual neutral
+    public boolean equalsIgnoreCase(String p0){ return false; } // manual neutral
+    public boolean isEmpty(){ return false; } // manual neutral
+    public boolean startsWith(String p0){ return false; } // manual neutral
+    public byte[] getBytes(){ return null; } // manual summary
+    public byte[] getBytes(Charset p0){ return null; } // manual summary
+    public char charAt(int p0){ return '0'; } // manual summary
+    public char[] toCharArray(){ return null; } // manual summary
+    public int compareTo(String p0){ return 0; } // manual neutral
+    public int hashCode(){ return 0; } // manual neutral
+    public int indexOf(String p0){ return 0; } // manual neutral
+    public int indexOf(int p0){ return 0; } // manual neutral
+    public int lastIndexOf(String p0){ return 0; } // manual neutral
+    public int lastIndexOf(int p0){ return 0; } // manual neutral
+    public int length(){ return 0; } // manual neutral
+    public static String format(String p0, Object... p1){ return null; } // manual summary
+    public static String join(CharSequence p0, CharSequence... p1){ return null; } // manual summary
+    public static String join(CharSequence p0, Iterable<? extends CharSequence> p1){ return null; } // manual summary
+    public static String valueOf(Object p0){ return null; } // NOT MODELED
+    public static String valueOf(boolean p0){ return null; } // manual neutral
+    public static String valueOf(int p0){ return null; } // manual neutral
+    public static String valueOf(long p0){ return null; } // manual neutral
+}

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/StringBuffer.java

@@ -0,0 +1,13 @@
+// Generated automatically from java.lang.StringBuffer for testing purposes
+
+package java.lang;
+
+import java.io.Serializable;
+
+public class StringBuffer implements Serializable
+{
+    public String toString(){ return null; } // manual summary
+    public StringBuffer append(Object p0){ return null; } // manual summary
+    public StringBuffer append(String p0){ return null; } // manual summary
+    public StringBuffer append(char p0){ return null; } // manual summary
+}

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/StringBuilder.java

@@ -0,0 +1,20 @@
+// Generated automatically from java.lang.StringBuilder for testing purposes
+
+package java.lang;
+
+import java.io.Serializable;
+
+public class StringBuilder implements Serializable
+{
+    public String toString(){ return null; } // manual summary
+    public StringBuilder append(CharSequence p0){ return null; } // manual summary
+    public StringBuilder append(Object p0){ return null; } // manual summary
+    public StringBuilder append(String p0){ return null; } // manual summary
+    public StringBuilder append(boolean p0){ return null; } // manual summary
+    public StringBuilder append(char p0){ return null; } // manual summary
+    public StringBuilder append(int p0){ return null; } // manual summary
+    public StringBuilder append(long p0){ return null; } // manual summary
+    public StringBuilder delete(int p0, int p1){ return null; } // manual summary
+    public StringBuilder(String p0){} // manual summary
+    public StringBuilder(int p0){} // manual summary
+}

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/System.java

@@ -0,0 +1,24 @@
+// Generated automatically from java.lang.System for testing purposes
+
+package java.lang;
+
+import java.io.Console;
+import java.io.InputStream;
+import java.io.PrintStream;
+import java.nio.channels.Channel;
+import java.util.Map;
+import java.util.Properties;
+
+public class System
+{
+    protected System() {}
+    public static String getProperty(String p0){ return null; } // NOT MODELED
+    public static String getenv(String p0){ return null; } // manual neutral
+    public static String lineSeparator(){ return null; } // manual neutral
+    public static String setProperty(String p0, String p1){ return null; } // NOT MODELED
+    public static int identityHashCode(Object p0){ return 0; } // manual neutral
+    public static long currentTimeMillis(){ return 0; } // manual neutral
+    public static long nanoTime(){ return 0; } // manual neutral
+    public static void arraycopy(Object p0, int p1, Object p2, int p3, int p4){} // manual summary
+    public static void exit(int p0){} // manual neutral
+}

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/Thread.java

@@ -0,0 +1,16 @@
+// Generated automatically from java.lang.Thread for testing purposes
+
+package java.lang;
+
+import java.util.Map;
+
+public class Thread
+{
+    public ClassLoader getContextClassLoader(){ return null; } // manual neutral
+    public Thread(Runnable p0){} // manual summary
+    public final String getName(){ return null; } // manual summary
+    public static Thread currentThread(){ return null; } // manual neutral
+    public static void sleep(long p0){} // manual neutral
+    public void interrupt(){} // manual neutral
+    public void start(){} // manual neutral
+}

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/ThreadLocal.java

@@ -0,0 +1,10 @@
+// Generated automatically from java.lang.ThreadLocal for testing purposes
+
+package java.lang;
+
+import java.util.function.Supplier;
+
+public class ThreadLocal<T>
+{
+    public T get(){ return null; } // manual summary
+}

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/Throwable.java

@@ -0,0 +1,17 @@
+// Generated automatically from java.lang.Throwable for testing purposes
+
+package java.lang;
+
+import java.io.PrintStream;
+import java.io.PrintWriter;
+import java.io.Serializable;
+
+public class Throwable implements Serializable
+{
+    public String getLocalizedMessage(){ return null; } // manual summary
+    public String getMessage(){ return null; } // manual summary
+    public String toString(){ return null; } // manual summary
+    public Throwable getCause(){ return null; } // manual summary
+    public Throwable(Throwable p0){} // manual summary
+    public void printStackTrace(){} // NOT MODELED
+}

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/reflect/Constructor.java

@@ -0,0 +1,16 @@
+// Generated automatically from java.lang.reflect.Constructor for testing purposes
+
+package java.lang.reflect;
+
+import java.lang.annotation.Annotation;
+import java.lang.reflect.AnnotatedType;
+import java.lang.reflect.Executable;
+import java.lang.reflect.GenericDeclaration;
+import java.lang.reflect.Type;
+import java.lang.reflect.TypeVariable;
+
+public class Constructor<T>
+{
+    protected Constructor() {}
+    public T newInstance(Object... p0){ return null; } // manual neutral
+}

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/reflect/Field.java

@@ -0,0 +1,15 @@
+// Generated automatically from java.lang.reflect.Field for testing purposes
+
+package java.lang.reflect;
+
+import java.lang.annotation.Annotation;
+import java.lang.reflect.AccessibleObject;
+import java.lang.reflect.AnnotatedType;
+import java.lang.reflect.Member;
+import java.lang.reflect.Type;
+
+public class Field extends AccessibleObject
+{
+    protected Field() {}
+    public Object get(Object p0){ return null; } // manual neutral
+}

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/lang/reflect/Method.java

@@ -0,0 +1,17 @@
+// Generated automatically from java.lang.reflect.Method for testing purposes
+
+package java.lang.reflect;
+
+import java.lang.annotation.Annotation;
+import java.lang.reflect.AnnotatedType;
+import java.lang.reflect.Executable;
+import java.lang.reflect.GenericDeclaration;
+import java.lang.reflect.Type;
+import java.lang.reflect.TypeVariable;
+
+public class Method
+{
+    protected Method() {}
+    public Object invoke(Object p0, Object... p1){ return null; } // manual neutral
+    public String getName(){ return null; } // manual neutral
+}

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/math/BigDecimal.java

@@ -0,0 +1,25 @@
+// Generated automatically from java.math.BigDecimal for testing purposes
+
+package java.math;
+
+import java.math.BigInteger;
+import java.math.MathContext;
+import java.math.RoundingMode;
+
+public class BigDecimal
+{
+    protected BigDecimal() {}
+    public BigDecimal add(BigDecimal p0){ return null; } // manual neutral
+    public BigDecimal multiply(BigDecimal p0){ return null; } // manual neutral
+    public BigDecimal setScale(int p0, RoundingMode p1){ return null; } // manual neutral
+    public BigDecimal subtract(BigDecimal p0){ return null; } // manual neutral
+    public BigDecimal(String p0){} // manual neutral
+    public BigDecimal(int p0){} // manual neutral
+    public BigInteger toBigInteger(){ return null; } // manual neutral
+    public String toString(){ return null; } // manual neutral
+    public double doubleValue(){ return 0; } // manual neutral
+    public int compareTo(BigDecimal p0){ return 0; } // manual neutral
+    public int intValue(){ return 0; } // manual neutral
+    public static BigDecimal valueOf(double p0){ return null; } // manual neutral
+    public static BigDecimal valueOf(long p0){ return null; } // manual neutral
+}

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/math/BigInteger.java

@@ -0,0 +1,13 @@
+// Generated automatically from java.math.BigInteger for testing purposes
+
+package java.math;
+
+import java.util.Random;
+
+public class BigInteger
+{
+    protected BigInteger() {}
+    public BigInteger or(BigInteger p0){ return null; } // manual neutral
+    public BigInteger(String p0){} // manual neutral
+    public static BigInteger valueOf(long p0){ return null; } // manual neutral
+}

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/net/URI.java

@@ -0,0 +1,14 @@
+// Generated automatically from java.net.URI for testing purposes
+
+package java.net;
+
+import java.io.Serializable;
+import java.net.URL;
+
+public class URI implements Serializable
+{
+    protected URI() {}
+    public String toString(){ return null; } // manual summary
+    public URI(String p0){} // manual summary
+    public static URI create(String p0){ return null; } // manual summary
+}

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/net/URL.java

@@ -0,0 +1,18 @@
+// Generated automatically from java.net.URL for testing purposes
+
+package java.net;
+
+import java.io.InputStream;
+import java.io.Serializable;
+import java.net.Proxy;
+import java.net.URI;
+import java.net.URLConnection;
+import java.net.URLStreamHandler;
+import java.net.URLStreamHandlerFactory;
+
+public class URL implements Serializable
+{
+    protected URL() {}
+    public URI toURI(){ return null; } // manual summary
+    public URL(String p0){} // manual summary
+}

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/nio/Buffer.java

@@ -0,0 +1,11 @@
+// Generated automatically from java.nio.Buffer for testing purposes
+
+package java.nio;
+
+
+abstract public class Buffer
+{
+    protected Buffer() {}
+    public final int position(){ return 0; } // manual neutral
+    public final int remaining(){ return 0; } // manual neutral
+}

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/nio/ByteBuffer.java

@@ -0,0 +1,20 @@
+// Generated automatically from java.nio.ByteBuffer for testing purposes
+
+package java.nio;
+
+import java.nio.Buffer;
+import java.nio.ByteOrder;
+import java.nio.CharBuffer;
+import java.nio.DoubleBuffer;
+import java.nio.FloatBuffer;
+import java.nio.IntBuffer;
+import java.nio.LongBuffer;
+import java.nio.ShortBuffer;
+
+abstract public class ByteBuffer extends Buffer implements Comparable<ByteBuffer>
+{
+    protected ByteBuffer() {}
+    public final byte[] array(){ return null; } // manual summary
+    public static ByteBuffer allocate(int p0){ return null; } // manual neutral
+    public static ByteBuffer wrap(byte[] p0){ return null; } // manual summary
+}

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/nio/charset/Charset.java

@@ -0,0 +1,17 @@
+// Generated automatically from java.nio.charset.Charset for testing purposes
+
+package java.nio.charset;
+
+import java.nio.ByteBuffer;
+import java.nio.CharBuffer;
+import java.nio.charset.CharsetDecoder;
+import java.nio.charset.CharsetEncoder;
+import java.util.Locale;
+import java.util.Set;
+import java.util.SortedMap;
+
+abstract public class Charset implements Comparable<Charset>
+{
+    protected Charset() {}
+    public final String name(){ return null; } // manual neutral
+}

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/nio/file/Files.java

@@ -0,0 +1,35 @@
+// Generated automatically from java.nio.file.Files for testing purposes
+
+package java.nio.file;
+
+import java.io.BufferedReader;
+import java.io.BufferedWriter;
+import java.io.InputStream;
+import java.io.OutputStream;
+import java.nio.channels.SeekableByteChannel;
+import java.nio.charset.Charset;
+import java.nio.file.CopyOption;
+import java.nio.file.DirectoryStream;
+import java.nio.file.FileStore;
+import java.nio.file.FileVisitOption;
+import java.nio.file.FileVisitor;
+import java.nio.file.LinkOption;
+import java.nio.file.OpenOption;
+import java.nio.file.Path;
+import java.nio.file.attribute.BasicFileAttributes;
+import java.nio.file.attribute.FileAttribute;
+import java.nio.file.attribute.FileAttributeView;
+import java.nio.file.attribute.FileTime;
+import java.nio.file.attribute.PosixFilePermission;
+import java.nio.file.attribute.UserPrincipal;
+import java.util.List;
+import java.util.Map;
+import java.util.Set;
+import java.util.function.BiPredicate;
+import java.util.stream.Stream;
+
+public class Files
+{
+    protected Files() {}
+    public static boolean exists(Path p0, LinkOption... p1){ return false; } // manual neutral
+}

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/nio/file/Path.java

@@ -0,0 +1,23 @@
+// Generated automatically from java.nio.file.Path for testing purposes
+
+package java.nio.file;
+
+import java.io.File;
+import java.net.URI;
+import java.nio.file.FileSystem;
+import java.nio.file.LinkOption;
+import java.nio.file.WatchEvent;
+import java.nio.file.WatchKey;
+import java.nio.file.WatchService;
+import java.nio.file.Watchable;
+import java.util.Iterator;
+
+public interface Path extends Comparable<Path>, Iterable<Path>, Watchable
+{
+    File toFile(); // manual summary
+    Path getFileName(); // manual summary
+    Path getParent(); // manual summary
+    Path resolve(String p0); // manual summary
+    Path toAbsolutePath(); // manual summary
+    String toString(); // manual summary
+}

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/nio/file/Paths.java

@@ -0,0 +1,12 @@
+// Generated automatically from java.nio.file.Paths for testing purposes
+
+package java.nio.file;
+
+import java.net.URI;
+import java.nio.file.Path;
+
+public class Paths
+{
+    protected Paths() {}
+    public static Path get(String p0, String... p1){ return null; } // manual summary
+}

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/sql/Connection.java

@@ -0,0 +1,25 @@
+// Generated automatically from java.sql.Connection for testing purposes
+
+package java.sql;
+
+import java.sql.Array;
+import java.sql.Blob;
+import java.sql.CallableStatement;
+import java.sql.Clob;
+import java.sql.DatabaseMetaData;
+import java.sql.NClob;
+import java.sql.PreparedStatement;
+import java.sql.SQLWarning;
+import java.sql.SQLXML;
+import java.sql.Savepoint;
+import java.sql.Statement;
+import java.sql.Struct;
+import java.sql.Wrapper;
+import java.util.Map;
+import java.util.Properties;
+import java.util.concurrent.Executor;
+
+public interface Connection extends AutoCloseable, Wrapper
+{
+    Statement createStatement(); // manual neutral
+}

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/sql/PreparedStatement.java

@@ -0,0 +1,32 @@
+// Generated automatically from java.sql.PreparedStatement for testing purposes
+
+package java.sql;
+
+import java.io.InputStream;
+import java.io.Reader;
+import java.math.BigDecimal;
+import java.net.URL;
+import java.sql.Array;
+import java.sql.Blob;
+import java.sql.Clob;
+import java.sql.NClob;
+import java.sql.ParameterMetaData;
+import java.sql.Ref;
+import java.sql.ResultSet;
+import java.sql.ResultSetMetaData;
+import java.sql.RowId;
+import java.sql.SQLType;
+import java.sql.SQLXML;
+import java.sql.Statement;
+import java.sql.Time;
+import java.sql.Timestamp;
+import java.util.Calendar;
+
+public interface PreparedStatement extends Statement
+{
+    ResultSet executeQuery(); // manual neutral
+    int executeUpdate(); // manual neutral
+    void setInt(int p0, int p1); // manual neutral
+    void setLong(int p0, long p1); // manual neutral
+    void setString(int p0, String p1); // manual summary
+}

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/sql/ResultSet.java

@@ -0,0 +1,35 @@
+// Generated automatically from java.sql.ResultSet for testing purposes
+
+package java.sql;
+
+import java.io.InputStream;
+import java.io.Reader;
+import java.math.BigDecimal;
+import java.net.URL;
+import java.sql.Array;
+import java.sql.Blob;
+import java.sql.Clob;
+import java.sql.NClob;
+import java.sql.Ref;
+import java.sql.ResultSetMetaData;
+import java.sql.RowId;
+import java.sql.SQLType;
+import java.sql.SQLWarning;
+import java.sql.SQLXML;
+import java.sql.Statement;
+import java.sql.Time;
+import java.sql.Timestamp;
+import java.sql.Wrapper;
+import java.util.Calendar;
+import java.util.Map;
+
+public interface ResultSet extends AutoCloseable, Wrapper
+{
+    String getString(String p0); // manual summary
+    String getString(int p0); // manual neutral
+    Timestamp getTimestamp(String p0); // manual neutral
+    boolean next(); // manual neutral
+    int getInt(String p0); // manual neutral
+    int getInt(int p0); // manual neutral
+    long getLong(String p0); // manual neutral
+}

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/sql/Statement.java

@@ -0,0 +1,13 @@
+// Generated automatically from java.sql.Statement for testing purposes
+
+package java.sql;
+
+import java.sql.Connection;
+import java.sql.ResultSet;
+import java.sql.SQLWarning;
+import java.sql.Wrapper;
+
+public interface Statement extends AutoCloseable, Wrapper
+{
+    void close(); // manual neutral
+}

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/sql/Timestamp.java

@@ -0,0 +1,13 @@
+// Generated automatically from java.sql.Timestamp for testing purposes
+
+package java.sql;
+
+import java.time.Instant;
+import java.time.LocalDateTime;
+
+public class Timestamp
+{
+    protected Timestamp() {}
+    public Timestamp(long p0){} // manual neutral
+    public long getTime(){ return 0; } // manual neutral
+}

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/text/DateFormat.java

@@ -0,0 +1,17 @@
+// Generated automatically from java.text.DateFormat for testing purposes
+
+package java.text;
+
+import java.text.FieldPosition;
+import java.text.Format;
+import java.text.NumberFormat;
+import java.text.ParsePosition;
+import java.util.Calendar;
+import java.util.Locale;
+import java.util.TimeZone;
+
+abstract public class DateFormat extends Format
+{
+    public final String format(java.util.Date p0){ return null; } // manual neutral
+    public java.util.Date parse(String p0){ return null; } // manual neutral
+}

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/text/Format.java

@@ -0,0 +1,13 @@
+// Generated automatically from java.text.Format for testing purposes
+
+package java.text;
+
+import java.io.Serializable;
+import java.text.AttributedCharacterIterator;
+import java.text.FieldPosition;
+import java.text.ParsePosition;
+
+abstract public class Format implements Cloneable, Serializable
+{
+    public final String format(Object p0){ return null; } // NOT MODELED
+}

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/text/MessageFormat.java

@@ -0,0 +1,15 @@
+// Generated automatically from java.text.MessageFormat for testing purposes
+
+package java.text;
+
+import java.text.AttributedCharacterIterator;
+import java.text.FieldPosition;
+import java.text.Format;
+import java.text.ParsePosition;
+import java.util.Locale;
+
+public class MessageFormat extends Format
+{
+    protected MessageFormat() {}
+    public static String format(String p0, Object... p1){ return null; } // NOT MODELED
+}

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/text/SimpleDateFormat.java

@@ -0,0 +1,15 @@
+// Generated automatically from java.text.SimpleDateFormat for testing purposes
+
+package java.text;
+
+import java.text.AttributedCharacterIterator;
+import java.text.DateFormat;
+import java.text.DateFormatSymbols;
+import java.text.FieldPosition;
+import java.text.ParsePosition;
+import java.util.Locale;
+
+public class SimpleDateFormat extends DateFormat
+{
+    public SimpleDateFormat(String p0){} // manual neutral
+}

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/time/Duration.java

@@ -0,0 +1,18 @@
+// Generated automatically from java.time.Duration for testing purposes
+
+package java.time;
+
+import java.io.Serializable;
+import java.time.temporal.Temporal;
+import java.time.temporal.TemporalAmount;
+import java.time.temporal.TemporalUnit;
+import java.util.List;
+
+public class Duration implements Serializable
+{
+    protected Duration() {}
+    public long toMillis(){ return 0; } // manual neutral
+    public static Duration ofMillis(long p0){ return null; } // manual neutral
+    public static Duration ofMinutes(long p0){ return null; } // manual neutral
+    public static Duration ofSeconds(long p0){ return null; } // manual neutral
+}

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/time/Instant.java

@@ -0,0 +1,27 @@
+// Generated automatically from java.time.Instant for testing purposes
+
+package java.time;
+
+import java.io.Serializable;
+import java.time.Clock;
+import java.time.OffsetDateTime;
+import java.time.ZoneId;
+import java.time.ZoneOffset;
+import java.time.ZonedDateTime;
+import java.time.temporal.Temporal;
+import java.time.temporal.TemporalAccessor;
+import java.time.temporal.TemporalAdjuster;
+import java.time.temporal.TemporalAmount;
+import java.time.temporal.TemporalField;
+import java.time.temporal.TemporalQuery;
+import java.time.temporal.TemporalUnit;
+import java.time.temporal.ValueRange;
+
+public class Instant implements Serializable
+{
+    protected Instant() {}
+    public long toEpochMilli(){ return 0; } // manual neutral
+    public static Instant now(){ return null; } // manual neutral
+    public static Instant ofEpochMilli(long p0){ return null; } // manual neutral
+    public static Instant parse(CharSequence p0){ return null; } // manual neutral
+}

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/time/LocalDate.java

@@ -0,0 +1,36 @@
+// Generated automatically from java.time.LocalDate for testing purposes
+
+package java.time;
+
+import java.io.Serializable;
+import java.time.Clock;
+import java.time.DayOfWeek;
+import java.time.LocalDateTime;
+import java.time.LocalTime;
+import java.time.Month;
+import java.time.OffsetDateTime;
+import java.time.OffsetTime;
+import java.time.Period;
+import java.time.ZoneId;
+import java.time.ZonedDateTime;
+import java.time.chrono.ChronoLocalDate;
+import java.time.chrono.Era;
+import java.time.chrono.IsoChronology;
+import java.time.format.DateTimeFormatter;
+import java.time.temporal.Temporal;
+import java.time.temporal.TemporalAccessor;
+import java.time.temporal.TemporalAdjuster;
+import java.time.temporal.TemporalAmount;
+import java.time.temporal.TemporalField;
+import java.time.temporal.TemporalQuery;
+import java.time.temporal.TemporalUnit;
+import java.time.temporal.ValueRange;
+
+public class LocalDate implements Serializable
+{
+    protected LocalDate() {}
+    public LocalDate plusDays(long p0){ return null; } // manual neutral
+    public static LocalDate now(){ return null; } // manual neutral
+    public static LocalDate of(int p0, int p1, int p2){ return null; } // manual neutral
+    public static LocalDate parse(CharSequence p0){ return null; } // manual neutral
+}

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/time/LocalDateTime.java

@@ -0,0 +1,33 @@
+// Generated automatically from java.time.LocalDateTime for testing purposes
+
+package java.time;
+
+import java.io.Serializable;
+import java.time.Clock;
+import java.time.DayOfWeek;
+import java.time.Instant;
+import java.time.LocalDate;
+import java.time.LocalTime;
+import java.time.Month;
+import java.time.OffsetDateTime;
+import java.time.ZoneId;
+import java.time.ZoneOffset;
+import java.time.ZonedDateTime;
+import java.time.chrono.ChronoLocalDate;
+import java.time.chrono.ChronoLocalDateTime;
+import java.time.format.DateTimeFormatter;
+import java.time.temporal.Temporal;
+import java.time.temporal.TemporalAccessor;
+import java.time.temporal.TemporalAdjuster;
+import java.time.temporal.TemporalAmount;
+import java.time.temporal.TemporalField;
+import java.time.temporal.TemporalQuery;
+import java.time.temporal.TemporalUnit;
+import java.time.temporal.ValueRange;
+
+public class LocalDateTime implements Serializable
+{
+    protected LocalDateTime() {}
+    public static LocalDateTime now(){ return null; } // manual neutral
+    public static LocalDateTime of(int p0, int p1, int p2, int p3, int p4, int p5){ return null; } // manual neutral
+}

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/time/ZoneId.java

@@ -0,0 +1,18 @@
+// Generated automatically from java.time.ZoneId for testing purposes
+
+package java.time;
+
+import java.io.Serializable;
+import java.time.ZoneOffset;
+import java.time.format.TextStyle;
+import java.time.temporal.TemporalAccessor;
+import java.time.zone.ZoneRules;
+import java.util.Locale;
+import java.util.Map;
+import java.util.Set;
+
+abstract public class ZoneId implements Serializable
+{
+    public static ZoneId of(String p0){ return null; } // manual neutral
+    public static ZoneId systemDefault(){ return null; } // manual neutral
+}

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/time/ZonedDateTime.java

@@ -0,0 +1,32 @@
+// Generated automatically from java.time.ZonedDateTime for testing purposes
+
+package java.time;
+
+import java.io.Serializable;
+import java.time.Clock;
+import java.time.DayOfWeek;
+import java.time.Instant;
+import java.time.LocalDate;
+import java.time.LocalDateTime;
+import java.time.LocalTime;
+import java.time.Month;
+import java.time.OffsetDateTime;
+import java.time.ZoneId;
+import java.time.ZoneOffset;
+import java.time.chrono.ChronoLocalDate;
+import java.time.chrono.ChronoZonedDateTime;
+import java.time.format.DateTimeFormatter;
+import java.time.temporal.Temporal;
+import java.time.temporal.TemporalAccessor;
+import java.time.temporal.TemporalAdjuster;
+import java.time.temporal.TemporalAmount;
+import java.time.temporal.TemporalField;
+import java.time.temporal.TemporalQuery;
+import java.time.temporal.TemporalUnit;
+import java.time.temporal.ValueRange;
+
+public class ZonedDateTime implements Serializable
+{
+    protected ZonedDateTime() {}
+    public static ZonedDateTime now(){ return null; } // manual neutral
+}

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/time/chrono/ChronoZonedDateTime.java

@@ -0,0 +1,26 @@
+// Generated automatically from java.time.chrono.ChronoZonedDateTime for testing purposes
+
+package java.time.chrono;
+
+import java.time.Instant;
+import java.time.LocalTime;
+import java.time.ZoneId;
+import java.time.ZoneOffset;
+import java.time.chrono.ChronoLocalDate;
+import java.time.chrono.ChronoLocalDateTime;
+import java.time.chrono.Chronology;
+import java.time.format.DateTimeFormatter;
+import java.time.temporal.Temporal;
+import java.time.temporal.TemporalAccessor;
+import java.time.temporal.TemporalAdjuster;
+import java.time.temporal.TemporalAmount;
+import java.time.temporal.TemporalField;
+import java.time.temporal.TemporalQuery;
+import java.time.temporal.TemporalUnit;
+import java.time.temporal.ValueRange;
+import java.util.Comparator;
+
+public interface ChronoZonedDateTime<D extends ChronoLocalDate> extends Comparable<ChronoZonedDateTime<? extends Object>>, Temporal
+{
+    default Instant toInstant(){ return null; } // manual neutral
+}

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/time/format/DateTimeFormatter.java

@@ -0,0 +1,24 @@
+// Generated automatically from java.time.format.DateTimeFormatter for testing purposes
+
+package java.time.format;
+
+import java.text.Format;
+import java.text.ParsePosition;
+import java.time.Period;
+import java.time.ZoneId;
+import java.time.chrono.Chronology;
+import java.time.format.DecimalStyle;
+import java.time.format.FormatStyle;
+import java.time.format.ResolverStyle;
+import java.time.temporal.TemporalAccessor;
+import java.time.temporal.TemporalField;
+import java.time.temporal.TemporalQuery;
+import java.util.Locale;
+import java.util.Set;
+
+public class DateTimeFormatter
+{
+    protected DateTimeFormatter() {}
+    public String format(TemporalAccessor p0){ return null; } // manual neutral
+    public static DateTimeFormatter ofPattern(String p0){ return null; } // manual neutral
+}

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/ArrayList.java

@@ -0,0 +1,27 @@
+// Generated automatically from java.util.ArrayList for testing purposes
+
+package java.util;
+
+import java.io.Serializable;
+import java.util.AbstractList;
+import java.util.Collection;
+import java.util.Comparator;
+import java.util.Iterator;
+import java.util.List;
+import java.util.ListIterator;
+import java.util.RandomAccess;
+import java.util.Spliterator;
+import java.util.function.Consumer;
+import java.util.function.Predicate;
+import java.util.function.UnaryOperator;
+
+public class ArrayList<E> extends java.util.AbstractList<E> implements Cloneable, RandomAccess, Serializable, java.util.List<E>
+{
+    public ArrayList(int p0){} // manual neutral
+    public ArrayList(java.util.Collection<? extends E> p0){} // manual summary
+    public E get(int p0){ return null; } // manual summary
+    public boolean add(E p0){ return false; } // manual summary
+    public boolean addAll(java.util.Collection<? extends E> p0){ return false; } // manual summary
+    public boolean isEmpty(){ return false; } // manual neutral
+    public int size(){ return 0; } // manual neutral
+}

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/Arrays.java

@@ -0,0 +1,27 @@
+// Generated automatically from java.util.Arrays for testing purposes
+
+package java.util;
+
+import java.util.Comparator;
+import java.util.List;
+import java.util.Spliterator;
+import java.util.function.BinaryOperator;
+import java.util.function.DoubleBinaryOperator;
+import java.util.function.IntBinaryOperator;
+import java.util.function.IntFunction;
+import java.util.function.IntToDoubleFunction;
+import java.util.function.IntToLongFunction;
+import java.util.function.IntUnaryOperator;
+import java.util.function.LongBinaryOperator;
+import java.util.stream.DoubleStream;
+import java.util.stream.IntStream;
+import java.util.stream.LongStream;
+import java.util.stream.Stream;
+
+public class Arrays
+{
+    protected Arrays() {}
+    public static <T> java.util.List<T> asList(T... p0){ return null; } // manual summary
+    public static <T> java.util.stream.Stream<T> stream(T[] p0){ return null; } // manual summary
+    public static String toString(Object[] p0){ return null; } // manual neutral
+}

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/Calendar.java

@@ -0,0 +1,21 @@
+// Generated automatically from java.util.Calendar for testing purposes
+
+package java.util;
+
+import java.io.Serializable;
+import java.time.Instant;
+import java.util.Locale;
+import java.util.Map;
+import java.util.Set;
+import java.util.TimeZone;
+
+abstract public class Calendar implements Cloneable, Comparable<Calendar>, Serializable
+{
+    public abstract void add(int p0, int p1); // manual neutral
+    public final java.util.Date getTime(){ return null; } // manual neutral
+    public final void setTime(java.util.Date p0){} // manual neutral
+    public int get(int p0){ return 0; } // manual neutral
+    public long getTimeInMillis(){ return 0; } // manual neutral
+    public static Calendar getInstance(){ return null; } // manual neutral
+    public void set(int p0, int p1){} // manual neutral
+}

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/Collection.java

@@ -0,0 +1,19 @@
+// Generated automatically from java.util.Collection for testing purposes
+
+package java.util;
+
+import java.util.Iterator;
+import java.util.Spliterator;
+import java.util.function.Predicate;
+import java.util.stream.Stream;
+
+public interface Collection<E> extends java.lang.Iterable<E>
+{
+    boolean add(E p0); // manual summary
+    boolean contains(Object p0); // manual neutral
+    boolean isEmpty(); // manual neutral
+    default boolean removeIf(java.util.function.Predicate<? super E> p0){ return false; } // manual neutral
+    default java.util.stream.Stream<E> stream(){ return null; } // manual summary
+    int size(); // manual neutral
+    java.util.Iterator<E> iterator(); // manual summary
+}

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/Collections.java

@@ -0,0 +1,36 @@
+// Generated automatically from java.util.Collections for testing purposes
+
+package java.util;
+
+import java.util.ArrayList;
+import java.util.Collection;
+import java.util.Comparator;
+import java.util.Deque;
+import java.util.Enumeration;
+import java.util.Iterator;
+import java.util.List;
+import java.util.ListIterator;
+import java.util.Map;
+import java.util.NavigableMap;
+import java.util.NavigableSet;
+import java.util.Queue;
+import java.util.Random;
+import java.util.Set;
+import java.util.SortedMap;
+import java.util.SortedSet;
+
+public class Collections
+{
+    protected Collections() {}
+    public static <K, V> java.util.Map<K, V> emptyMap(){ return null; } // manual neutral
+    public static <K, V> java.util.Map<K, V> singletonMap(K p0, V p1){ return null; } // manual summary
+    public static <K, V> java.util.Map<K, V> unmodifiableMap(java.util.Map<? extends K, ? extends V> p0){ return null; } // manual summary
+    public static <T extends java.lang.Comparable<? super T>> void sort(java.util.List<T> p0){} // manual neutral
+    public static <T> java.util.List<T> emptyList(){ return null; } // manual neutral
+    public static <T> java.util.List<T> singletonList(T p0){ return null; } // manual summary
+    public static <T> java.util.List<T> unmodifiableList(java.util.List<? extends T> p0){ return null; } // manual summary
+    public static <T> java.util.Set<T> emptySet(){ return null; } // manual neutral
+    public static <T> java.util.Set<T> singleton(T p0){ return null; } // manual summary
+    public static <T> java.util.Set<T> unmodifiableSet(Set<? extends T> p0){ return null; } // manual summary
+    public static <T> void sort(java.util.List<T> p0, java.util.Comparator<? super T> p1){} // manual neutral
+}

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/Comparator.java

@@ -0,0 +1,13 @@
+// Generated automatically from java.util.Comparator for testing purposes
+
+package java.util;
+
+import java.util.function.Function;
+import java.util.function.ToDoubleFunction;
+import java.util.function.ToIntFunction;
+import java.util.function.ToLongFunction;
+
+public interface Comparator<T>
+{
+    static <T, U extends java.lang.Comparable<? super U>> java.util.Comparator<T> comparing(java.util.function.Function<? super T, ? extends U> p0){ return null; } // NOT MODELED
+}

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/Date.java

@@ -0,0 +1,14 @@
+// Generated automatically from java.util.Date for testing purposes
+
+package java.util;
+
+import java.io.Serializable;
+import java.time.Instant;
+
+public class Date implements Cloneable, Serializable
+{
+    public Date(long p0){} // manual neutral
+    public Instant toInstant(){ return null; } // manual neutral
+    public long getTime(){ return 0; } // manual neutral
+    public static java.util.Date from(Instant p0){ return null; } // manual neutral
+}

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/Enumeration.java

@@ -0,0 +1,10 @@
+// Generated automatically from java.util.Enumeration for testing purposes
+
+package java.util;
+
+
+public interface Enumeration<E>
+{
+    E nextElement(); // manual summary
+    boolean hasMoreElements(); // manual neutral
+}

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/EventObject.java

@@ -0,0 +1,11 @@
+// Generated automatically from java.util.EventObject for testing purposes
+
+package java.util;
+
+import java.io.Serializable;
+
+public class EventObject implements Serializable
+{
+    protected EventObject() {}
+    public Object getSource(){ return null; } // manual summary
+}

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/HashMap.java

@@ -0,0 +1,24 @@
+// Generated automatically from java.util.HashMap for testing purposes
+
+package java.util;
+
+import java.io.Serializable;
+import java.util.AbstractMap;
+import java.util.Collection;
+import java.util.LinkedHashMap;
+import java.util.Map;
+import java.util.Set;
+import java.util.function.BiConsumer;
+import java.util.function.BiFunction;
+import java.util.function.Function;
+
+public class HashMap<K, V> implements Cloneable, Serializable
+{
+    public HashMap(int p0){} // manual neutral
+    public HashMap(java.util.Map<? extends K, ? extends V> p0){} // manual summary
+    public V get(Object p0){ return null; } // manual summary
+    public V put(K p0, V p1){ return null; } // manual summary
+    public boolean containsKey(Object p0){ return false; } // manual neutral
+    public int size(){ return 0; } // manual neutral
+    // public java.util.Set<Map.Entry<K, V>> entrySet(){ return null; } // manual summary -- REMOVE UNTIL FIX MAP.ENTRYSET
+}

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/HashSet.java

@@ -0,0 +1,17 @@
+// Generated automatically from java.util.HashSet for testing purposes
+
+package java.util;
+
+import java.io.Serializable;
+import java.util.AbstractSet;
+import java.util.Collection;
+import java.util.Iterator;
+import java.util.Set;
+import java.util.Spliterator;
+
+public class HashSet<E> implements Cloneable, Serializable
+{
+    public HashSet(int p0){} // manual neutral
+    public HashSet(java.util.Collection<? extends E> p0){} // manual summary
+    public boolean add(E p0){ return false; } // manual summary
+}

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/Hashtable.java

@@ -0,0 +1,19 @@
+// Generated automatically from java.util.Hashtable for testing purposes
+
+package java.util;
+
+import java.io.Serializable;
+import java.util.Collection;
+import java.util.Dictionary;
+import java.util.Enumeration;
+import java.util.Map;
+import java.util.Set;
+import java.util.function.BiConsumer;
+import java.util.function.BiFunction;
+import java.util.function.Function;
+
+public class Hashtable<K, V> implements Cloneable, Serializable
+{
+    public V get(Object p0){ return null; } // manual summary
+    public V put(K p0, V p1){ return null; } // manual summary
+}

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/Iterator.java

@@ -0,0 +1,12 @@
+// Generated automatically from java.util.Iterator for testing purposes
+
+package java.util;
+
+import java.util.function.Consumer;
+
+public interface Iterator<E>
+{
+    E next(); // manual summary
+    boolean hasNext(); // manual neutral
+    default void remove(){} // manual neutral
+}

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/LinkedHashMap.java

@@ -0,0 +1,15 @@
+// Generated automatically from java.util.LinkedHashMap for testing purposes
+
+package java.util;
+
+import java.util.Collection;
+import java.util.HashMap;
+import java.util.Map;
+import java.util.Set;
+import java.util.function.BiConsumer;
+import java.util.function.BiFunction;
+
+public class LinkedHashMap<K, V>
+{
+    public V get(Object p0){ return null; } // manual summary
+}

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/LinkedHashSet.java

@@ -0,0 +1,14 @@
+// Generated automatically from java.util.LinkedHashSet for testing purposes
+
+package java.util;
+
+import java.io.Serializable;
+import java.util.Collection;
+import java.util.HashSet;
+import java.util.Set;
+import java.util.Spliterator;
+
+public class LinkedHashSet<E> implements Cloneable, Serializable
+{
+    public LinkedHashSet(java.util.Collection<? extends E> p0){} // manual summary
+}

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/LinkedList.java

@@ -0,0 +1,17 @@
+// Generated automatically from java.util.LinkedList for testing purposes
+
+package java.util;
+
+import java.io.Serializable;
+import java.util.AbstractSequentialList;
+import java.util.Collection;
+import java.util.Deque;
+import java.util.Iterator;
+import java.util.List;
+import java.util.ListIterator;
+import java.util.Spliterator;
+
+public class LinkedList<E> implements Cloneable, Serializable
+{
+    public boolean add(E p0){ return false; } // manual summary
+}

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/List.java

@@ -0,0 +1,33 @@
+// Generated automatically from java.util.List for testing purposes
+
+package java.util;
+
+import java.util.Collection;
+import java.util.Comparator;
+import java.util.Iterator;
+import java.util.ListIterator;
+import java.util.Spliterator;
+import java.util.function.UnaryOperator;
+
+public interface List<E> extends java.util.Collection<E>
+{
+    <T> T[] toArray(T[] p0); // manual summary
+    E get(int p0); // manual summary
+    E remove(int p0); // manual summary
+    E set(int p0, E p1); // manual summary
+    List<E> subList(int p0, int p1); // manual summary
+    Object[] toArray(); // manual summary
+    boolean add(E p0); // manual summary
+    boolean addAll(java.util.Collection<? extends E> p0); // manual summary
+    boolean contains(Object p0); // manual neutral
+    boolean equals(Object p0); // manual neutral
+    boolean isEmpty(); // manual neutral
+    boolean remove(Object p0); // manual neutral
+    default void sort(java.util.Comparator<? super E> p0){} // manual neutral
+    int hashCode(); // manual neutral
+    int indexOf(Object p0); // manual neutral
+    int size(); // manual neutral
+    java.util.Iterator<E> iterator(); // manual summary
+    void add(int p0, E p1); // manual summary
+    void clear(); // manual neutral
+}

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/Locale.java

@@ -0,0 +1,15 @@
+// Generated automatically from java.util.Locale for testing purposes
+
+package java.util;
+
+import java.io.Serializable;
+import java.util.Collection;
+import java.util.List;
+import java.util.Map;
+import java.util.Set;
+
+public class Locale implements Cloneable, Serializable
+{
+    protected Locale() {}
+    public static Locale forLanguageTag(String p0){ return null; } // manual neutral
+}

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/Map.java

@@ -0,0 +1,28 @@
+// Generated automatically from java.util.Map for testing purposes
+
+package java.util;
+
+import java.util.Collection;
+import java.util.Comparator;
+import java.util.Set;
+import java.util.function.BiConsumer;
+import java.util.function.BiFunction;
+import java.util.function.Function;
+
+public interface Map<K, V>
+{
+    V get(Object p0); // manual summary
+    V put(K p0, V p1); // manual summary
+    V remove(Object p0); // manual summary
+    boolean containsKey(Object p0); // manual neutral
+    boolean isEmpty(); // manual neutral
+    default V computeIfAbsent(K p0, java.util.function.Function<? super K, ? extends V> p1){ return null; } // manual summary
+    default V getOrDefault(Object p0, V p1){ return null; } // manual summary
+    default void forEach(java.util.function.BiConsumer<? super K, ? super V> p0){} // manual summary
+    int size(); // manual neutral
+    java.util.Collection<V> values(); // manual summary
+    java.util.Set<K> keySet(); // manual summary
+    // java.util.Set<Map.Entry<K, V>> entrySet(); // manual summary - REMOVE UNTIL FIX MAP.ENTRY
+    void clear(); // manual neutral
+    void putAll(java.util.Map<? extends K, ? extends V> p0); // manual summary
+}

java/ql/test/query-tests/Metrics/GeneratedVsManualCoverage/TopJdkApisTest/openjdkStubs/java/util/Objects.java

@@ -0,0 +1,18 @@
+// Generated automatically from java.util.Objects for testing purposes
+
+package java.util;
+
+import java.util.Comparator;
+import java.util.function.Supplier;
+
+public class Objects
+{
+    protected Objects() {}
+    public static <T> T requireNonNull(T p0){ return null; } // manual summary
+    public static <T> T requireNonNull(T p0, String p1){ return null; } // manual summary
+    public static boolean equals(Object p0, Object p1){ return false; } // manual neutral
+    public static boolean isNull(Object p0){ return false; } // manual neutral
+    public static boolean nonNull(Object p0){ return false; } // manual neutral
+    public static int hash(Object... p0){ return 0; } // manual neutral
+    public static int hashCode(Object p0){ return 0; } // manual neutral
+}