search

typetools / checker-framework

Pluggable type-checking for Java
http://checkerframework.org/
Other
1.01k stars 352 forks source link

InvocationTargetException when running from Ant #1761

Closed andrewda closed 6 years ago

andrewda commented 6 years ago

Description

After following the manual's instructions on how to add Checker Framework to an Ant project (in this case, log4j, the program crashes when running ant check-nullness. The standard ant build works fine without any errors. In addition, running javacheck -processor org.checkerframework.checker.nullness.NullnessChecker from the command-line also works as expected. The crash can be viewed in the command-line output below.

A simple test case can be used with my additions to log4j as seen here. The check-nullness target is copied from the build.core target and changed to use jsr308.javac as specified in the Checker Framework manual.

I expect ant check-nullness to output the nullness issues present in the code, but instead it is crashing with the output shown below.

System Information

Operating System: macOS
JDK Version: 1.8.0_151
Ant Version: 1.10.1
Checker Framework: 2.3.1
Command-line output 
Buildfile: /Users/amd/Desktop/Programming/Java/log4j/build.xml

init:

clean:
   [delete] Deleting directory /Users/amd/Desktop/Programming/Java/log4j/dist

check-nullness:
    [mkdir] Created dir: /Users/amd/Desktop/Programming/Java/log4j/dist/classes
[jsr308.javac] Compiling 144 source files to /Users/amd/Desktop/Programming/Java/log4j/dist/classes
[jsr308.javac] javac 1.8.0-jsr308-2.3.1
[jsr308.javac] javac 1.8.0-jsr308-2.3.1
[jsr308.javac] warning: [options] source value 1.4 is obsolete and will be removed in a future release
[jsr308.javac] warning: [options] target value 1.4 is obsolete and will be removed in a future release
[jsr308.javac] warning: [options] To suppress warnings about obsolete options, use -Xlint:-options.
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/Appender.java]]
[jsr308.javac] [parsing completed 31ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/AppenderSkeleton.java]]
[jsr308.javac] [parsing completed 14ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/AsyncAppender.java]]
[jsr308.javac] [parsing completed 19ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/BasicConfigurator.java]]
[jsr308.javac] [parsing completed 2ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/Category.java]]
[jsr308.javac] [parsing completed 27ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/CategoryKey.java]]
[jsr308.javac] [parsing completed 1ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/ConsoleAppender.java]]
[jsr308.javac] [parsing completed 5ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/DailyRollingFileAppender.java]]
[jsr308.javac] [parsing completed 14ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/DefaultCategoryFactory.java]]
[jsr308.javac] [parsing completed 0ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/DefaultThrowableRenderer.java]]
[jsr308.javac] [parsing completed 2ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/Dispatcher.java]]
[jsr308.javac] [parsing completed 4ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/EnhancedPatternLayout.java]]
[jsr308.javac] [parsing completed 11ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/EnhancedThrowableRenderer.java]]
[jsr308.javac] [parsing completed 4ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/FileAppender.java]]
[jsr308.javac] [parsing completed 7ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/HTMLLayout.java]]
[jsr308.javac] [parsing completed 8ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/Hierarchy.java]]
[jsr308.javac] [parsing completed 10ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/Layout.java]]
[jsr308.javac] [parsing completed 1ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/Level.java]]
[jsr308.javac] [parsing completed 6ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/LogMF.java]]
[jsr308.javac] [parsing completed 34ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/LogManager.java]]
[jsr308.javac] [parsing completed 4ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/LogSF.java]]
[jsr308.javac] [parsing completed 24ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/LogXF.java]]
[jsr308.javac] [parsing completed 5ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/Logger.java]]
[jsr308.javac] [parsing completed 2ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/MDC.java]]
[jsr308.javac] [parsing completed 4ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/NDC.java]]
[jsr308.javac] [parsing completed 4ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/PatternLayout.java]]
[jsr308.javac] [parsing completed 4ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/Priority.java]]
[jsr308.javac] [parsing completed 2ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/PropertyConfigurator.java]]
[jsr308.javac] [parsing completed 12ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/ProvisionNode.java]]
[jsr308.javac] [parsing completed 3ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/RollingFileAppender.java]]
[jsr308.javac] [parsing completed 3ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/SimpleLayout.java]]
[jsr308.javac] [parsing completed 1ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/TTCCLayout.java]]
[jsr308.javac] [parsing completed 2ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/WriterAppender.java]]
[jsr308.javac] [parsing completed 5ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/config/PropertyGetter.java]]
[jsr308.javac] [parsing completed 2ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/config/PropertyPrinter.java]]
[jsr308.javac] [parsing completed 3ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/config/PropertySetter.java]]
[jsr308.javac] [parsing completed 6ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/config/PropertySetterException.java]]
[jsr308.javac] [parsing completed 1ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/helpers/AbsoluteTimeDateFormat.java]]
[jsr308.javac] [parsing completed 2ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/helpers/AppenderAttachableImpl.java]]
[jsr308.javac] [parsing completed 2ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/helpers/BoundedFIFO.java]]
[jsr308.javac] [parsing completed 2ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/helpers/CountingQuietWriter.java]]
[jsr308.javac] [parsing completed 1ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/helpers/CyclicBuffer.java]]
[jsr308.javac] [parsing completed 1ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/helpers/DateLayout.java]]
[jsr308.javac] [parsing completed 1ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/helpers/DateTimeDateFormat.java]]
[jsr308.javac] [parsing completed 1ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/helpers/FileWatchdog.java]]
[jsr308.javac] [parsing completed 1ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/helpers/FormattingInfo.java]]
[jsr308.javac] [parsing completed 1ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/helpers/ISO8601DateFormat.java]]
[jsr308.javac] [parsing completed 2ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/helpers/Loader.java]]
[jsr308.javac] [parsing completed 2ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/helpers/LogLog.java]]
[jsr308.javac] [parsing completed 1ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/helpers/MDCKeySetExtractor.java]]
[jsr308.javac] [parsing completed 2ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/helpers/NullEnumeration.java]]
[jsr308.javac] [parsing completed 0ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/helpers/OnlyOnceErrorHandler.java]]
[jsr308.javac] [parsing completed 1ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/helpers/OptionConverter.java]]
[jsr308.javac] [parsing completed 5ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/helpers/PatternConverter.java]]
[jsr308.javac] [parsing completed 1ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/helpers/PatternParser.java]]
[jsr308.javac] [parsing completed 4ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/helpers/QuietWriter.java]]
[jsr308.javac] [parsing completed 1ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/helpers/RelativeTimeDateFormat.java]]
[jsr308.javac] [parsing completed 5ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/helpers/SyslogQuietWriter.java]]
[jsr308.javac] [parsing completed 0ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/helpers/SyslogWriter.java]]
[jsr308.javac] [parsing completed 1ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/helpers/ThreadLocalMap.java]]
[jsr308.javac] [parsing completed 1ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/helpers/Transform.java]]
[jsr308.javac] [parsing completed 1ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/helpers/UtilLoggingLevel.java]]
[jsr308.javac] [parsing completed 2ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/jdbc/JDBCAppender.java]]
[jsr308.javac] [parsing completed 12ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/net/SimpleSocketServer.java]]
[jsr308.javac] [parsing completed 1ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/net/SocketAppender.java]]
[jsr308.javac] [parsing completed 3ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/net/SocketHubAppender.java]]
[jsr308.javac] [parsing completed 4ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/net/SocketNode.java]]
[jsr308.javac] [parsing completed 1ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/net/SocketServer.java]]
[jsr308.javac] [parsing completed 2ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/net/SyslogAppender.java]]
[jsr308.javac] [parsing completed 5ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/net/TelnetAppender.java]]
[jsr308.javac] [parsing completed 4ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/net/ZeroConfSupport.java]]
[jsr308.javac] [parsing completed 50ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/nt/NTEventLogAppender.java]]
[jsr308.javac] [parsing completed 6ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/or/DefaultRenderer.java]]
[jsr308.javac] [parsing completed 2ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/or/ObjectRenderer.java]]
[jsr308.javac] [parsing completed 1ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/or/RendererMap.java]]
[jsr308.javac] [parsing completed 5ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/or/ThreadGroupRenderer.java]]
[jsr308.javac] [parsing completed 0ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/or/sax/AttributesRenderer.java]]
[jsr308.javac] [parsing completed 1ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/pattern/BridgePatternConverter.java]]
[jsr308.javac] [parsing completed 2ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/pattern/BridgePatternParser.java]]
[jsr308.javac] [parsing completed 1ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/pattern/CachedDateFormat.java]]
[jsr308.javac] [parsing completed 3ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/pattern/ClassNamePatternConverter.java]]
[jsr308.javac] [parsing completed 1ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/pattern/DatePatternConverter.java]]
[jsr308.javac] [parsing completed 2ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/pattern/FileDatePatternConverter.java]]
[jsr308.javac] [parsing completed 0ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/pattern/FileLocationPatternConverter.java]]
[jsr308.javac] [parsing completed 3ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/pattern/FormattingInfo.java]]
[jsr308.javac] [parsing completed 1ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/pattern/FullLocationPatternConverter.java]]
[jsr308.javac] [parsing completed 1ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/pattern/IntegerPatternConverter.java]]
[jsr308.javac] [parsing completed 0ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/pattern/LevelPatternConverter.java]]
[jsr308.javac] [parsing completed 0ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/pattern/LineLocationPatternConverter.java]]
[jsr308.javac] [parsing completed 0ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/pattern/LineSeparatorPatternConverter.java]]
[jsr308.javac] [parsing completed 1ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/pattern/LiteralPatternConverter.java]]
[jsr308.javac] [parsing completed 0ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/pattern/LogEvent.java]]
[jsr308.javac] [parsing completed 4ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/pattern/LoggerPatternConverter.java]]
[jsr308.javac] [parsing completed 0ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/pattern/LoggingEventPatternConverter.java]]
[jsr308.javac] [parsing completed 0ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/pattern/MessagePatternConverter.java]]
[jsr308.javac] [parsing completed 1ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/pattern/MethodLocationPatternConverter.java]]
[jsr308.javac] [parsing completed 1ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/pattern/NDCPatternConverter.java]]
[jsr308.javac] [parsing completed 0ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/pattern/NameAbbreviator.java]]
[jsr308.javac] [parsing completed 2ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/pattern/NamePatternConverter.java]]
[jsr308.javac] [parsing completed 1ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/pattern/PatternConverter.java]]
[jsr308.javac] [parsing completed 1ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/pattern/PatternParser.java]]
[jsr308.javac] [parsing completed 6ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/pattern/PropertiesPatternConverter.java]]
[jsr308.javac] [parsing completed 1ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/pattern/RelativeTimePatternConverter.java]]
[jsr308.javac] [parsing completed 0ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/pattern/SequenceNumberPatternConverter.java]]
[jsr308.javac] [parsing completed 1ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/pattern/ThreadPatternConverter.java]]
[jsr308.javac] [parsing completed 0ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/pattern/ThrowableInformationPatternConverter.java]]
[jsr308.javac] [parsing completed 1ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/rewrite/MapRewritePolicy.java]]
[jsr308.javac] [parsing completed 1ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/rewrite/PropertyRewritePolicy.java]]
[jsr308.javac] [parsing completed 1ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/rewrite/ReflectionRewritePolicy.java]]
[jsr308.javac] [parsing completed 1ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/rewrite/RewriteAppender.java]]
[jsr308.javac] [parsing completed 1ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/rewrite/RewritePolicy.java]]
[jsr308.javac] [parsing completed 1ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/spi/AppenderAttachable.java]]
[jsr308.javac] [parsing completed 0ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/spi/Configurator.java]]
[jsr308.javac] [parsing completed 0ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/spi/DefaultRepositorySelector.java]]
[jsr308.javac] [parsing completed 0ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/spi/ErrorCode.java]]
[jsr308.javac] [parsing completed 0ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/spi/ErrorHandler.java]]
[jsr308.javac] [parsing completed 0ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/spi/Filter.java]]
[jsr308.javac] [parsing completed 1ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/spi/HierarchyEventListener.java]]
[jsr308.javac] [parsing completed 1ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/spi/LocationInfo.java]]
[jsr308.javac] [parsing completed 3ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/spi/LoggerFactory.java]]
[jsr308.javac] [parsing completed 0ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/spi/LoggerRepository.java]]
[jsr308.javac] [parsing completed 1ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/spi/LoggingEvent.java]]
[jsr308.javac] [parsing completed 5ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/spi/NOPLogger.java]]
[jsr308.javac] [parsing completed 3ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/spi/NOPLoggerRepository.java]]
[jsr308.javac] [parsing completed 1ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/spi/NullWriter.java]]
[jsr308.javac] [parsing completed 1ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/spi/OptionHandler.java]]
[jsr308.javac] [parsing completed 3ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/spi/RendererSupport.java]]
[jsr308.javac] [parsing completed 1ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/spi/RepositorySelector.java]]
[jsr308.javac] [parsing completed 0ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/spi/RootCategory.java]]
[jsr308.javac] [parsing completed 1ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/spi/RootLogger.java]]
[jsr308.javac] [parsing completed 2ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/spi/ThrowableInformation.java]]
[jsr308.javac] [parsing completed 1ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/spi/ThrowableRenderer.java]]
[jsr308.javac] [parsing completed 1ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/spi/ThrowableRendererSupport.java]]
[jsr308.javac] [parsing completed 0ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/spi/TriggeringEventEvaluator.java]]
[jsr308.javac] [parsing completed 1ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/spi/VectorWriter.java]]
[jsr308.javac] [parsing completed 1ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/varia/DenyAllFilter.java]]
[jsr308.javac] [parsing completed 0ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/varia/ExternallyRolledFileAppender.java]]
[jsr308.javac] [parsing completed 1ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/varia/FallbackErrorHandler.java]]
[jsr308.javac] [parsing completed 1ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/varia/LevelMatchFilter.java]]
[jsr308.javac] [parsing completed 1ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/varia/LevelRangeFilter.java]]
[jsr308.javac] [parsing completed 2ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/varia/NullAppender.java]]
[jsr308.javac] [parsing completed 2ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/varia/ReloadingPropertyConfigurator.java]]
[jsr308.javac] [parsing completed 0ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/varia/Roller.java]]
[jsr308.javac] [parsing completed 1ms]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/varia/StringMatchFilter.java]]
[jsr308.javac] [parsing completed 2ms]
[jsr308.javac] [search path for source files: /Users/amd/Desktop/Programming/Java/log4j/src/main/java]
[jsr308.javac] [search path for class files: /Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar,/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/jre/lib/resources.jar,/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/jre/lib/rt.jar,/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/jre/lib/sunrsasign.jar,/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/jre/lib/jsse.jar,/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/jre/lib/jce.jar,/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/jre/lib/charsets.jar,/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/jre/lib/jfr.jar,/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/jre/classes,/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/jre/lib/ext/cldrdata.jar,/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/jre/lib/ext/dnsns.jar,/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/jre/lib/ext/jaccess.jar,/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/jre/lib/ext/jfxrt.jar,/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/jre/lib/ext/localedata.jar,/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/jre/lib/ext/nashorn.jar,/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/jre/lib/ext/sunec.jar,/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/jre/lib/ext/sunjce_provider.jar,/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/jre/lib/ext/sunpkcs11.jar,/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/jre/lib/ext/zipfs.jar,/System/Library/Java/Extensions/MRJToolkit.jar,/Users/amd/checker-framework-2.3.1/checker/dist/checker-qual.jar,/Users/amd/Desktop/Programming/Java/log4j/dist/classes,/usr/local/Cellar/ant/1.10.1/libexec/lib/ant-launcher.jar,/usr/local/Cellar/ant/1.10.1/libexec/lib/ant-antlr.jar,/usr/local/Cellar/ant/1.10.1/libexec/lib/ant-apache-bcel.jar,/usr/local/Cellar/ant/1.10.1/libexec/lib/ant-apache-bsf.jar,/usr/local/Cellar/ant/1.10.1/libexec/lib/ant-apache-log4j.jar,/usr/local/Cellar/ant/1.10.1/libexec/lib/ant-apache-oro.jar,/usr/local/Cellar/ant/1.10.1/libexec/lib/ant-apache-regexp.jar,/usr/local/Cellar/ant/1.10.1/libexec/lib/ant-apache-resolver.jar,/usr/local/Cellar/ant/1.10.1/libexec/lib/ant-apache-xalan2.jar,/usr/local/Cellar/ant/1.10.1/libexec/lib/ant-commons-logging.jar,/usr/local/Cellar/ant/1.10.1/libexec/lib/ant-commons-net.jar,/usr/local/Cellar/ant/1.10.1/libexec/lib/ant-jai.jar,/usr/local/Cellar/ant/1.10.1/libexec/lib/ant-javamail.jar,/usr/local/Cellar/ant/1.10.1/libexec/lib/ant-jdepend.jar,/usr/local/Cellar/ant/1.10.1/libexec/lib/ant-jmf.jar,/usr/local/Cellar/ant/1.10.1/libexec/lib/ant-jsch.jar,/usr/local/Cellar/ant/1.10.1/libexec/lib/ant-junit.jar,/usr/local/Cellar/ant/1.10.1/libexec/lib/ant-junit4.jar,/usr/local/Cellar/ant/1.10.1/libexec/lib/ant-netrexx.jar,/usr/local/Cellar/ant/1.10.1/libexec/lib/ant-swing.jar,/usr/local/Cellar/ant/1.10.1/libexec/lib/ant-testutil.jar,/usr/local/Cellar/ant/1.10.1/libexec/lib/ant-xz.jar,/usr/local/Cellar/ant/1.10.1/libexec/lib/ant.jar,/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/tools.jar]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/Object.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/io/InterruptedIOException.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/io/ObjectInputStream.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/io/ObjectOutputStream.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/reflect/InvocationTargetException.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/reflect/Method.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/util/Collections.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/util/HashMap.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/util/Hashtable.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/util/Map.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/util/Set.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/io/Serializable.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/String.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/util/Enumeration.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/util/MissingResourceException.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/util/ResourceBundle.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/util/Vector.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/io/PrintWriter.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/io/StringWriter.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/Integer.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/Class.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/Throwable.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/io/IOException.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/io/ObjectStreamException.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/ClassNotFoundException.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/Exception.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/StringBuffer.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/text/MessageFormat.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/util/ArrayList.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/util/Iterator.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/util/List.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/Thread.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/Runnable.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/io/OutputStream.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/io/OutputStreamWriter.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/io/Writer.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/io/FilterWriter.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/Appendable.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/io/Closeable.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/AutoCloseable.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/io/Flushable.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/io/File.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/text/SimpleDateFormat.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/util/Date.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/util/GregorianCalendar.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/util/Calendar.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/util/TimeZone.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/util/Locale.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/io/BufferedWriter.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/io/FileNotFoundException.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/io/FileOutputStream.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/Cloneable.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/Comparable.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/io/LineNumberReader.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/io/StringReader.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/text/DateFormat.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/util/Arrays.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/net/URL.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/security/CodeSource.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/util/Collection.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/Iterable.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/util/RandomAccess.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/util/AbstractList.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/util/AbstractCollection.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/text/NumberFormat.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/Boolean.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/Character.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/Byte.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/Short.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/Long.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/Float.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/Double.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/net/MalformedURLException.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/IllegalArgumentException.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/util/Stack.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/io/FileInputStream.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/io/InputStream.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/net/URLConnection.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/util/Properties.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/util/StringTokenizer.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/text/FieldPosition.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/beans/BeanInfo.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/beans/IntrospectionException.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/beans/Introspector.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/beans/PropertyDescriptor.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/text/ParsePosition.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/text/Format.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/text/DateFormatSymbols.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/ClassLoader.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/IllegalAccessException.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/io/ByteArrayOutputStream.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/io/ByteArrayInputStream.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/util/NoSuchElementException.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/net/DatagramSocket.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/net/InetAddress.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/net/DatagramPacket.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/net/UnknownHostException.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/net/SocketException.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/InheritableThreadLocal.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/ThreadLocal.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/sql/Connection.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/sql/DriverManager.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/sql/SQLException.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/sql/Statement.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/net/ServerSocket.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/net/Socket.class)]]
[jsr308.javac] [loading RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/xml/DOMConfigurator.java]]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/xml/DOMConfigurator.java]]
[jsr308.javac] [parsing completed 11ms]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/reflect/Constructor.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/io/BufferedInputStream.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/util/regex/Pattern.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/org/xml/sax/Attributes.class)]]
[jsr308.javac] [loading RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/xml/UnrecognizedElementHandler.java]]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/xml/UnrecognizedElementHandler.java]]
[jsr308.javac] [parsing completed 2ms]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(org/w3c/dom/Element.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/io/DataInputStream.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/io/DataOutputStream.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(org/w3c/dom/Document.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(org/w3c/dom/NamedNodeMap.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(org/w3c/dom/Node.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(org/w3c/dom/NodeList.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(org/xml/sax/InputSource.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/org/xml/sax/SAXException.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/javax/xml/parsers/DocumentBuilder.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/javax/xml/parsers/DocumentBuilderFactory.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/javax/xml/parsers/FactoryConfigurationError.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/io/Reader.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/checker-qual.jar(org/checkerframework/checker/index/qual/LTEqLengthOf.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/checker-qual.jar(org/checkerframework/checker/index/qual/IndexOrHigh.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/SuppressWarnings.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/checker-qual.jar(org/checkerframework/checker/nullness/qual/KeyFor.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/checker-qual.jar(org/checkerframework/checker/index/qual/LengthOf.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/checker-qual.jar(org/checkerframework/checker/index/qual/LTLengthOf.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/checker-qual.jar(org/checkerframework/checker/index/qual/IndexFor.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/checker-qual.jar(org/checkerframework/checker/nullness/qual/EnsuresNonNullIf.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/checker-qual.jar(org/checkerframework/checker/index/qual/IndexOrLow.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/checker-qual.jar(org/checkerframework/checker/index/qual/SubstringIndexFor.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/checker-qual.jar(org/checkerframework/common/value/qual/ArrayLenRange.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/checker-qual.jar(org/checkerframework/common/value/qual/MinLen.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/checker-qual.jar(org/checkerframework/checker/index/qual/SameLen.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/checker-qual.jar(org/checkerframework/common/value/qual/IntVal.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/checker-qual.jar(org/checkerframework/framework/qual/Covariant.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/sun/misc/Contended.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/checker-qual.jar(org/checkerframework/checker/initialization/qual/UnknownInitialization.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/checker-qual.jar(org/checkerframework/checker/nullness/qual/Raw.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/checker-qual.jar(org/checkerframework/checker/lock/qual/EnsuresLockHeldIf.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/checker-qual.jar(org/checkerframework/checker/index/qual/SearchIndexFor.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/checker-qual.jar(org/checkerframework/framework/qual/SubtypeOf.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/lang/annotation/Retention.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/lang/annotation/RetentionPolicy.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/lang/annotation/Target.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/lang/annotation/ElementType.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/checker-qual.jar(org/checkerframework/framework/qual/ConditionalPostconditionAnnotation.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/checker-qual.jar(org/checkerframework/framework/qual/DefaultFor.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/checker-qual.jar(org/checkerframework/framework/qual/TypeUseLocation.class)]]
[jsr308.javac] Round 1:
[jsr308.javac]  input files: {org.apache.log4j.Appender, org.apache.log4j.AppenderSkeleton, org.apache.log4j.AsyncAppender, org.apache.log4j.BasicConfigurator, org.apache.log4j.Category, org.apache.log4j.CategoryKey, org.apache.log4j.ConsoleAppender, org.apache.log4j.DailyRollingFileAppender, org.apache.log4j.RollingCalendar, org.apache.log4j.DefaultCategoryFactory, org.apache.log4j.DefaultThrowableRenderer, org.apache.log4j.Dispatcher, org.apache.log4j.EnhancedPatternLayout, org.apache.log4j.EnhancedThrowableRenderer, org.apache.log4j.FileAppender, org.apache.log4j.HTMLLayout, org.apache.log4j.Hierarchy, org.apache.log4j.Layout, org.apache.log4j.Level, org.apache.log4j.LogMF, org.apache.log4j.LogManager, org.apache.log4j.LogSF, org.apache.log4j.LogXF, org.apache.log4j.Logger, org.apache.log4j.MDC, org.apache.log4j.NDC, org.apache.log4j.PatternLayout, org.apache.log4j.Priority, org.apache.log4j.PropertyConfigurator, org.apache.log4j.PropertyWatchdog, org.apache.log4j.NameValue, org.apache.log4j.SortedKeyEnumeration, org.apache.log4j.ProvisionNode, org.apache.log4j.RollingFileAppender, org.apache.log4j.SimpleLayout, org.apache.log4j.TTCCLayout, org.apache.log4j.WriterAppender, org.apache.log4j.config.PropertyGetter, org.apache.log4j.config.PropertyPrinter, org.apache.log4j.config.PropertySetter, org.apache.log4j.config.PropertySetterException, org.apache.log4j.helpers.AbsoluteTimeDateFormat, org.apache.log4j.helpers.AppenderAttachableImpl, org.apache.log4j.helpers.BoundedFIFO, org.apache.log4j.helpers.CountingQuietWriter, org.apache.log4j.helpers.CyclicBuffer, org.apache.log4j.helpers.DateLayout, org.apache.log4j.helpers.DateTimeDateFormat, org.apache.log4j.helpers.FileWatchdog, org.apache.log4j.helpers.FormattingInfo, org.apache.log4j.helpers.ISO8601DateFormat, org.apache.log4j.helpers.Loader, org.apache.log4j.helpers.LogLog, org.apache.log4j.helpers.MDCKeySetExtractor, org.apache.log4j.helpers.NullEnumeration, org.apache.log4j.helpers.OnlyOnceErrorHandler, org.apache.log4j.helpers.OptionConverter, org.apache.log4j.helpers.PatternConverter, org.apache.log4j.helpers.PatternParser, org.apache.log4j.helpers.QuietWriter, org.apache.log4j.helpers.RelativeTimeDateFormat, org.apache.log4j.helpers.SyslogQuietWriter, org.apache.log4j.helpers.SyslogWriter, org.apache.log4j.helpers.ThreadLocalMap, org.apache.log4j.helpers.Transform, org.apache.log4j.helpers.UtilLoggingLevel, org.apache.log4j.jdbc.JDBCAppender, org.apache.log4j.net.SimpleSocketServer, org.apache.log4j.net.SocketAppender, org.apache.log4j.net.SocketHubAppender, org.apache.log4j.net.SocketNode, org.apache.log4j.net.SocketServer, org.apache.log4j.net.SyslogAppender, org.apache.log4j.net.TelnetAppender, org.apache.log4j.net.ZeroConfSupport, org.apache.log4j.nt.NTEventLogAppender, org.apache.log4j.or.DefaultRenderer, org.apache.log4j.or.ObjectRenderer, org.apache.log4j.or.RendererMap, org.apache.log4j.or.ThreadGroupRenderer, org.apache.log4j.or.sax.AttributesRenderer, org.apache.log4j.pattern.BridgePatternConverter, org.apache.log4j.pattern.BridgePatternParser, org.apache.log4j.pattern.CachedDateFormat, org.apache.log4j.pattern.ClassNamePatternConverter, org.apache.log4j.pattern.DatePatternConverter, org.apache.log4j.pattern.FileDatePatternConverter, org.apache.log4j.pattern.FileLocationPatternConverter, org.apache.log4j.pattern.FormattingInfo, org.apache.log4j.pattern.FullLocationPatternConverter, org.apache.log4j.pattern.IntegerPatternConverter, org.apache.log4j.pattern.LevelPatternConverter, org.apache.log4j.pattern.LineLocationPatternConverter, org.apache.log4j.pattern.LineSeparatorPatternConverter, org.apache.log4j.pattern.LiteralPatternConverter, org.apache.log4j.pattern.LogEvent, org.apache.log4j.pattern.LoggerPatternConverter, org.apache.log4j.pattern.LoggingEventPatternConverter, org.apache.log4j.pattern.MessagePatternConverter, org.apache.log4j.pattern.MethodLocationPatternConverter, org.apache.log4j.pattern.NDCPatternConverter, org.apache.log4j.pattern.NameAbbreviator, org.apache.log4j.pattern.NamePatternConverter, org.apache.log4j.pattern.PatternConverter, org.apache.log4j.pattern.PatternParser, org.apache.log4j.pattern.PropertiesPatternConverter, org.apache.log4j.pattern.RelativeTimePatternConverter, org.apache.log4j.pattern.SequenceNumberPatternConverter, org.apache.log4j.pattern.ThreadPatternConverter, org.apache.log4j.pattern.ThrowableInformationPatternConverter, org.apache.log4j.rewrite.MapRewritePolicy, org.apache.log4j.rewrite.PropertyRewritePolicy, org.apache.log4j.rewrite.ReflectionRewritePolicy, org.apache.log4j.rewrite.RewriteAppender, org.apache.log4j.rewrite.RewritePolicy, org.apache.log4j.spi.AppenderAttachable, org.apache.log4j.spi.Configurator, org.apache.log4j.spi.DefaultRepositorySelector, org.apache.log4j.spi.ErrorCode, org.apache.log4j.spi.ErrorHandler, org.apache.log4j.spi.Filter, org.apache.log4j.spi.HierarchyEventListener, org.apache.log4j.spi.LocationInfo, org.apache.log4j.spi.LoggerFactory, org.apache.log4j.spi.LoggerRepository, org.apache.log4j.spi.LoggingEvent, org.apache.log4j.spi.NOPLogger, org.apache.log4j.spi.NOPLoggerRepository, org.apache.log4j.spi.NullWriter, org.apache.log4j.spi.OptionHandler, org.apache.log4j.spi.RendererSupport, org.apache.log4j.spi.RepositorySelector, org.apache.log4j.spi.RootCategory, org.apache.log4j.spi.RootLogger, org.apache.log4j.spi.ThrowableInformation, org.apache.log4j.spi.ThrowableRenderer, org.apache.log4j.spi.ThrowableRendererSupport, org.apache.log4j.spi.TriggeringEventEvaluator, org.apache.log4j.spi.VectorWriter, org.apache.log4j.varia.DenyAllFilter, org.apache.log4j.varia.ExternallyRolledFileAppender, org.apache.log4j.varia.HUP, org.apache.log4j.varia.HUPNode, org.apache.log4j.varia.FallbackErrorHandler, org.apache.log4j.varia.LevelMatchFilter, org.apache.log4j.varia.LevelRangeFilter, org.apache.log4j.varia.NullAppender, org.apache.log4j.varia.ReloadingPropertyConfigurator, org.apache.log4j.varia.Roller, org.apache.log4j.varia.StringMatchFilter}
[jsr308.javac]  annotations: []
[jsr308.javac]  last round: false
[jsr308.javac] Processor org.checkerframework.checker.nullness.NullnessChecker matches [] and returns false.
[jsr308.javac] [search path for source files: /Users/amd/Desktop/Programming/Java/log4j/src/main/java]
[jsr308.javac] [search path for class files: /Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar,/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/jre/lib/resources.jar,/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/jre/lib/rt.jar,/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/jre/lib/sunrsasign.jar,/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/jre/lib/jsse.jar,/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/jre/lib/jce.jar,/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/jre/lib/charsets.jar,/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/jre/lib/jfr.jar,/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/jre/classes,/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/jre/lib/ext/cldrdata.jar,/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/jre/lib/ext/dnsns.jar,/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/jre/lib/ext/jaccess.jar,/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/jre/lib/ext/jfxrt.jar,/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/jre/lib/ext/localedata.jar,/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/jre/lib/ext/nashorn.jar,/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/jre/lib/ext/sunec.jar,/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/jre/lib/ext/sunjce_provider.jar,/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/jre/lib/ext/sunpkcs11.jar,/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/jre/lib/ext/zipfs.jar,/System/Library/Java/Extensions/MRJToolkit.jar,/Users/amd/checker-framework-2.3.1/checker/dist/checker-qual.jar,/Users/amd/Desktop/Programming/Java/log4j/dist/classes,/usr/local/Cellar/ant/1.10.1/libexec/lib/ant-launcher.jar,/usr/local/Cellar/ant/1.10.1/libexec/lib/ant-antlr.jar,/usr/local/Cellar/ant/1.10.1/libexec/lib/ant-apache-bcel.jar,/usr/local/Cellar/ant/1.10.1/libexec/lib/ant-apache-bsf.jar,/usr/local/Cellar/ant/1.10.1/libexec/lib/ant-apache-log4j.jar,/usr/local/Cellar/ant/1.10.1/libexec/lib/ant-apache-oro.jar,/usr/local/Cellar/ant/1.10.1/libexec/lib/ant-apache-regexp.jar,/usr/local/Cellar/ant/1.10.1/libexec/lib/ant-apache-resolver.jar,/usr/local/Cellar/ant/1.10.1/libexec/lib/ant-apache-xalan2.jar,/usr/local/Cellar/ant/1.10.1/libexec/lib/ant-commons-logging.jar,/usr/local/Cellar/ant/1.10.1/libexec/lib/ant-commons-net.jar,/usr/local/Cellar/ant/1.10.1/libexec/lib/ant-jai.jar,/usr/local/Cellar/ant/1.10.1/libexec/lib/ant-javamail.jar,/usr/local/Cellar/ant/1.10.1/libexec/lib/ant-jdepend.jar,/usr/local/Cellar/ant/1.10.1/libexec/lib/ant-jmf.jar,/usr/local/Cellar/ant/1.10.1/libexec/lib/ant-jsch.jar,/usr/local/Cellar/ant/1.10.1/libexec/lib/ant-junit.jar,/usr/local/Cellar/ant/1.10.1/libexec/lib/ant-junit4.jar,/usr/local/Cellar/ant/1.10.1/libexec/lib/ant-netrexx.jar,/usr/local/Cellar/ant/1.10.1/libexec/lib/ant-swing.jar,/usr/local/Cellar/ant/1.10.1/libexec/lib/ant-testutil.jar,/usr/local/Cellar/ant/1.10.1/libexec/lib/ant-xz.jar,/usr/local/Cellar/ant/1.10.1/libexec/lib/ant.jar,/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/tools.jar]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/Object.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/io/InterruptedIOException.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/io/ObjectInputStream.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/io/ObjectOutputStream.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/reflect/InvocationTargetException.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/reflect/Method.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/util/Collections.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/util/HashMap.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/util/Hashtable.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/util/Map.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/util/Set.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/io/Serializable.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/String.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/util/Enumeration.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/util/MissingResourceException.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/util/ResourceBundle.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/util/Vector.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/io/PrintWriter.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/io/StringWriter.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/Integer.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/Class.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/Throwable.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/io/IOException.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/io/ObjectStreamException.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/ClassNotFoundException.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/Exception.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/StringBuffer.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/text/MessageFormat.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/util/ArrayList.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/util/Iterator.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/util/List.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/Thread.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/Runnable.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/io/OutputStream.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/io/OutputStreamWriter.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/io/Writer.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/io/FilterWriter.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/Appendable.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/io/Closeable.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/AutoCloseable.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/io/Flushable.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/io/File.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/text/SimpleDateFormat.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/util/Date.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/util/GregorianCalendar.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/util/Calendar.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/util/TimeZone.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/util/Locale.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/io/BufferedWriter.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/io/FileNotFoundException.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/io/FileOutputStream.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/Cloneable.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/Comparable.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/io/LineNumberReader.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/io/StringReader.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/text/DateFormat.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/util/Arrays.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/net/URL.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/security/CodeSource.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/util/Collection.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/Iterable.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/util/RandomAccess.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/util/AbstractList.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/util/AbstractCollection.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/text/NumberFormat.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/Boolean.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/Character.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/Byte.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/Short.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/Long.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/Float.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/Double.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/net/MalformedURLException.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/IllegalArgumentException.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/util/Stack.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/io/FileInputStream.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/io/InputStream.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/net/URLConnection.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/util/Properties.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/util/StringTokenizer.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/text/FieldPosition.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/beans/BeanInfo.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/beans/IntrospectionException.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/beans/Introspector.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/beans/PropertyDescriptor.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/text/ParsePosition.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/text/Format.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/text/DateFormatSymbols.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/ClassLoader.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/IllegalAccessException.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/io/ByteArrayOutputStream.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/io/ByteArrayInputStream.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/util/NoSuchElementException.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/net/DatagramSocket.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/net/InetAddress.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/net/DatagramPacket.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/net/UnknownHostException.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/net/SocketException.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/InheritableThreadLocal.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/ThreadLocal.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/sql/Connection.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/sql/DriverManager.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/sql/SQLException.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/sql/Statement.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/net/ServerSocket.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/net/Socket.class)]]
[jsr308.javac] [loading RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/xml/DOMConfigurator.java]]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/xml/DOMConfigurator.java]]
[jsr308.javac] [parsing completed 11ms]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/reflect/Constructor.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/io/BufferedInputStream.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/util/regex/Pattern.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/org/xml/sax/Attributes.class)]]
[jsr308.javac] [loading RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/xml/UnrecognizedElementHandler.java]]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/xml/UnrecognizedElementHandler.java]]
[jsr308.javac] [parsing completed 1ms]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(org/w3c/dom/Element.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/io/DataInputStream.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/io/DataOutputStream.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(org/w3c/dom/Document.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(org/w3c/dom/NamedNodeMap.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(org/w3c/dom/Node.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(org/w3c/dom/NodeList.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(org/xml/sax/InputSource.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/org/xml/sax/SAXException.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/javax/xml/parsers/DocumentBuilder.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/javax/xml/parsers/DocumentBuilderFactory.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/javax/xml/parsers/FactoryConfigurationError.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/io/Reader.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/checker-qual.jar(org/checkerframework/checker/index/qual/LTEqLengthOf.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/checker-qual.jar(org/checkerframework/checker/index/qual/IndexOrHigh.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/SuppressWarnings.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/checker-qual.jar(org/checkerframework/checker/nullness/qual/KeyFor.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/checker-qual.jar(org/checkerframework/checker/index/qual/LengthOf.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/checker-qual.jar(org/checkerframework/checker/index/qual/LTLengthOf.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/checker-qual.jar(org/checkerframework/checker/index/qual/IndexFor.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/checker-qual.jar(org/checkerframework/checker/nullness/qual/EnsuresNonNullIf.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/checker-qual.jar(org/checkerframework/checker/index/qual/IndexOrLow.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/checker-qual.jar(org/checkerframework/checker/index/qual/SubstringIndexFor.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/checker-qual.jar(org/checkerframework/common/value/qual/ArrayLenRange.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/checker-qual.jar(org/checkerframework/common/value/qual/MinLen.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/checker-qual.jar(org/checkerframework/checker/index/qual/SameLen.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/checker-qual.jar(org/checkerframework/common/value/qual/IntVal.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/checker-qual.jar(org/checkerframework/framework/qual/Covariant.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/sun/misc/Contended.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/checker-qual.jar(org/checkerframework/checker/initialization/qual/UnknownInitialization.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/checker-qual.jar(org/checkerframework/checker/nullness/qual/Raw.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/checker-qual.jar(org/checkerframework/checker/lock/qual/EnsuresLockHeldIf.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/checker-qual.jar(org/checkerframework/checker/index/qual/SearchIndexFor.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/checker-qual.jar(org/checkerframework/framework/qual/SubtypeOf.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/lang/annotation/Retention.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/lang/annotation/RetentionPolicy.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/lang/annotation/Target.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/lang/annotation/ElementType.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/checker-qual.jar(org/checkerframework/framework/qual/ConditionalPostconditionAnnotation.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/checker-qual.jar(org/checkerframework/framework/qual/DefaultFor.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/checker-qual.jar(org/checkerframework/framework/qual/TypeUseLocation.class)]]
[jsr308.javac] Round 2:
[jsr308.javac]  input files: {}
[jsr308.javac]  annotations: []
[jsr308.javac]  last round: true
[jsr308.javac] [search path for source files: /Users/amd/Desktop/Programming/Java/log4j/src/main/java]
[jsr308.javac] [search path for class files: /Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar,/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/jre/lib/resources.jar,/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/jre/lib/rt.jar,/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/jre/lib/sunrsasign.jar,/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/jre/lib/jsse.jar,/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/jre/lib/jce.jar,/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/jre/lib/charsets.jar,/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/jre/lib/jfr.jar,/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/jre/classes,/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/jre/lib/ext/cldrdata.jar,/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/jre/lib/ext/dnsns.jar,/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/jre/lib/ext/jaccess.jar,/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/jre/lib/ext/jfxrt.jar,/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/jre/lib/ext/localedata.jar,/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/jre/lib/ext/nashorn.jar,/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/jre/lib/ext/sunec.jar,/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/jre/lib/ext/sunjce_provider.jar,/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/jre/lib/ext/sunpkcs11.jar,/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/jre/lib/ext/zipfs.jar,/System/Library/Java/Extensions/MRJToolkit.jar,/Users/amd/checker-framework-2.3.1/checker/dist/checker-qual.jar,/Users/amd/Desktop/Programming/Java/log4j/dist/classes,/usr/local/Cellar/ant/1.10.1/libexec/lib/ant-launcher.jar,/usr/local/Cellar/ant/1.10.1/libexec/lib/ant-antlr.jar,/usr/local/Cellar/ant/1.10.1/libexec/lib/ant-apache-bcel.jar,/usr/local/Cellar/ant/1.10.1/libexec/lib/ant-apache-bsf.jar,/usr/local/Cellar/ant/1.10.1/libexec/lib/ant-apache-log4j.jar,/usr/local/Cellar/ant/1.10.1/libexec/lib/ant-apache-oro.jar,/usr/local/Cellar/ant/1.10.1/libexec/lib/ant-apache-regexp.jar,/usr/local/Cellar/ant/1.10.1/libexec/lib/ant-apache-resolver.jar,/usr/local/Cellar/ant/1.10.1/libexec/lib/ant-apache-xalan2.jar,/usr/local/Cellar/ant/1.10.1/libexec/lib/ant-commons-logging.jar,/usr/local/Cellar/ant/1.10.1/libexec/lib/ant-commons-net.jar,/usr/local/Cellar/ant/1.10.1/libexec/lib/ant-jai.jar,/usr/local/Cellar/ant/1.10.1/libexec/lib/ant-javamail.jar,/usr/local/Cellar/ant/1.10.1/libexec/lib/ant-jdepend.jar,/usr/local/Cellar/ant/1.10.1/libexec/lib/ant-jmf.jar,/usr/local/Cellar/ant/1.10.1/libexec/lib/ant-jsch.jar,/usr/local/Cellar/ant/1.10.1/libexec/lib/ant-junit.jar,/usr/local/Cellar/ant/1.10.1/libexec/lib/ant-junit4.jar,/usr/local/Cellar/ant/1.10.1/libexec/lib/ant-netrexx.jar,/usr/local/Cellar/ant/1.10.1/libexec/lib/ant-swing.jar,/usr/local/Cellar/ant/1.10.1/libexec/lib/ant-testutil.jar,/usr/local/Cellar/ant/1.10.1/libexec/lib/ant-xz.jar,/usr/local/Cellar/ant/1.10.1/libexec/lib/ant.jar,/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/tools.jar]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/Object.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/io/InterruptedIOException.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/io/ObjectInputStream.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/io/ObjectOutputStream.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/reflect/InvocationTargetException.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/reflect/Method.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/util/Collections.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/util/HashMap.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/util/Hashtable.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/util/Map.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/util/Set.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/io/Serializable.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/String.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/util/Enumeration.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/util/MissingResourceException.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/util/ResourceBundle.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/util/Vector.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/io/PrintWriter.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/io/StringWriter.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/Integer.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/Class.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/Throwable.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/io/IOException.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/io/ObjectStreamException.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/ClassNotFoundException.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/Exception.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/StringBuffer.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/text/MessageFormat.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/util/ArrayList.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/util/Iterator.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/util/List.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/Thread.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/Runnable.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/io/OutputStream.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/io/OutputStreamWriter.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/io/Writer.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/io/FilterWriter.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/Appendable.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/io/Closeable.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/AutoCloseable.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/io/Flushable.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/io/File.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/text/SimpleDateFormat.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/util/Date.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/util/GregorianCalendar.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/util/Calendar.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/util/TimeZone.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/util/Locale.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/io/BufferedWriter.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/io/FileNotFoundException.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/io/FileOutputStream.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/Cloneable.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/Comparable.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/io/LineNumberReader.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/io/StringReader.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/text/DateFormat.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/util/Arrays.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/net/URL.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/security/CodeSource.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/util/Collection.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/Iterable.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/util/RandomAccess.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/util/AbstractList.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/util/AbstractCollection.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/text/NumberFormat.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/Boolean.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/Character.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/Byte.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/Short.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/Long.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/Float.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/Double.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/net/MalformedURLException.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/IllegalArgumentException.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/util/Stack.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/io/FileInputStream.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/io/InputStream.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/net/URLConnection.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/util/Properties.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/util/StringTokenizer.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/text/FieldPosition.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/beans/BeanInfo.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/beans/IntrospectionException.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/beans/Introspector.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/beans/PropertyDescriptor.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/text/ParsePosition.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/text/Format.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/text/DateFormatSymbols.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/ClassLoader.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/IllegalAccessException.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/io/ByteArrayOutputStream.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/io/ByteArrayInputStream.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/util/NoSuchElementException.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/net/DatagramSocket.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/net/InetAddress.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/net/DatagramPacket.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/net/UnknownHostException.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/net/SocketException.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/InheritableThreadLocal.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/ThreadLocal.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/sql/Connection.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/sql/DriverManager.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/sql/SQLException.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/sql/Statement.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/net/ServerSocket.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/net/Socket.class)]]
[jsr308.javac] [loading RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/xml/DOMConfigurator.java]]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/xml/DOMConfigurator.java]]
[jsr308.javac] [parsing completed 8ms]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/reflect/Constructor.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/io/BufferedInputStream.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/util/regex/Pattern.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/org/xml/sax/Attributes.class)]]
[jsr308.javac] [loading RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/xml/UnrecognizedElementHandler.java]]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/xml/UnrecognizedElementHandler.java]]
[jsr308.javac] [parsing completed 1ms]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(org/w3c/dom/Element.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/io/DataInputStream.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/io/DataOutputStream.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(org/w3c/dom/Document.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(org/w3c/dom/NamedNodeMap.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(org/w3c/dom/Node.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(org/w3c/dom/NodeList.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(org/xml/sax/InputSource.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/org/xml/sax/SAXException.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/javax/xml/parsers/DocumentBuilder.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/javax/xml/parsers/DocumentBuilderFactory.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/javax/xml/parsers/FactoryConfigurationError.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/io/Reader.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/checker-qual.jar(org/checkerframework/checker/index/qual/LTEqLengthOf.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/checker-qual.jar(org/checkerframework/checker/index/qual/IndexOrHigh.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/SuppressWarnings.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/checker-qual.jar(org/checkerframework/checker/nullness/qual/KeyFor.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/checker-qual.jar(org/checkerframework/checker/index/qual/LengthOf.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/checker-qual.jar(org/checkerframework/checker/index/qual/LTLengthOf.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/checker-qual.jar(org/checkerframework/checker/index/qual/IndexFor.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/checker-qual.jar(org/checkerframework/checker/nullness/qual/EnsuresNonNullIf.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/checker-qual.jar(org/checkerframework/checker/index/qual/IndexOrLow.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/checker-qual.jar(org/checkerframework/checker/index/qual/SubstringIndexFor.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/checker-qual.jar(org/checkerframework/common/value/qual/ArrayLenRange.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/checker-qual.jar(org/checkerframework/common/value/qual/MinLen.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/checker-qual.jar(org/checkerframework/checker/index/qual/SameLen.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/checker-qual.jar(org/checkerframework/common/value/qual/IntVal.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/checker-qual.jar(org/checkerframework/framework/qual/Covariant.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/sun/misc/Contended.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/checker-qual.jar(org/checkerframework/checker/initialization/qual/UnknownInitialization.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/checker-qual.jar(org/checkerframework/checker/nullness/qual/Raw.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/checker-qual.jar(org/checkerframework/checker/lock/qual/EnsuresLockHeldIf.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/checker-qual.jar(org/checkerframework/checker/index/qual/SearchIndexFor.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/checker-qual.jar(org/checkerframework/framework/qual/SubtypeOf.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/lang/annotation/Retention.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/lang/annotation/RetentionPolicy.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/lang/annotation/Target.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/lang/annotation/ElementType.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/checker-qual.jar(org/checkerframework/framework/qual/ConditionalPostconditionAnnotation.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/checker-qual.jar(org/checkerframework/framework/qual/DefaultFor.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/checker-qual.jar(org/checkerframework/framework/qual/TypeUseLocation.class)]]
[jsr308.javac] [checking org.apache.log4j.Appender]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/checker-qual.jar(org/checkerframework/framework/qual/FromByteCode.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/checker-qual.jar(org/checkerframework/framework/qual/FromStubFile.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/checker-qual.jar(org/checkerframework/checker/nullness/qual/UnknownKeyFor.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/checker-qual.jar(org/checkerframework/checker/nullness/qual/KeyForBottom.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/checker-qual.jar(org/checkerframework/framework/qual/TargetLocations.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/checker-qual.jar(org/checkerframework/framework/qual/ImplicitFor.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/checker-qual.jar(org/checkerframework/framework/qual/LiteralKind.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/checker-qual.jar(org/checkerframework/framework/qual/PolyAll.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/checker-qual.jar(org/checkerframework/framework/qual/PolymorphicQualifier.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/checker-qual.jar(org/checkerframework/checker/nullness/qual/PolyKeyFor.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/checker-qual.jar(org/checkerframework/dataflow/qual/Pure.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/checker-qual.jar(org/checkerframework/dataflow/qual/SideEffectFree.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/checker-qual.jar(org/checkerframework/dataflow/qual/Deterministic.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/checker-qual.jar(org/checkerframework/dataflow/qual/TerminatesExecution.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/checker-qual.jar(org/checkerframework/framework/qual/Unqualified.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/util/Map$Entry.class)]]
[jsr308.javac] Note: StubParser: parsing stub file flow.astub
[jsr308.javac] Note: StubParser: parseType:  mismatched sizes for typeParameters=[T] (size 1) and typeArguments=[] (size 0); decl=public final class Class {      @Pure     public String getName();      @Pure     public java.lang.reflect.Method getMethod(String a1, Class... a2);      @Pure     public java.lang.reflect.Constructor getConstructor(Class... a1); }; elt=java.lang.Class (class com.sun.tools.javac.code.Symbol$ClassSymbol); type=/*DECL*/ Class (class org.checkerframework.framework.type.AnnotatedTypeMirror$AnnotatedDeclaredType); theCompilationUnit=package java.lang;
[jsr308.javac]   
[jsr308.javac]   import org.checkerframework.dataflow.qual.*;
[jsr308.javac]   
[jsr308.javac]   public final class Class {
[jsr308.javac]   
[jsr308.javac]       @Pure
[jsr308.javac]       public String getName();
[jsr308.javac]   
[jsr308.javac]       @Pure
[jsr308.javac]       public java.lang.reflect.Method getMethod(String a1, Class... a2);
[jsr308.javac]   
[jsr308.javac]       @Pure
[jsr308.javac]       public java.lang.reflect.Constructor getConstructor(Class... a1);
[jsr308.javac]   }
[jsr308.javac]   
[jsr308.javac]   public final class Character {
[jsr308.javac]   
[jsr308.javac]       @Pure
[jsr308.javac]       public Character(char value) {
[jsr308.javac]       }
[jsr308.javac]   
[jsr308.javac]       @Pure
[jsr308.javac]       public static Character valueOf(char c);
[jsr308.javac]   
[jsr308.javac]       @Pure
[jsr308.javac]       public char charValue();
[jsr308.javac]   
[jsr308.javac]       @Pure
[jsr308.javac]       public int hashCode();
[jsr308.javac]   
[jsr308.javac]       @Pure
[jsr308.javac]       public boolean equals(Object obj);
[jsr308.javac]   
[jsr308.javac]       @SideEffectFree
[jsr308.javac]       public String toString();
[jsr308.javac]   
[jsr308.javac]       @SideEffectFree
[jsr308.javac]       public static String toString(char c);
[jsr308.javac]   
[jsr308.javac]       @Pure
[jsr308.javac]       public static boolean isValidCodePoint(int codePoint);
[jsr308.javac]   
[jsr308.javac]       @Pure
[jsr308.javac]       public static boolean isBmpCodePoint(int codePoint);
[jsr308.javac]   
[jsr308.javac]       @Pure
[jsr308.javac]       public static boolean isSupplementaryCodePoint(int codePoint);
[jsr308.javac]   
[jsr308.javac]       @Pure
[jsr308.javac]       public static boolean isHighSurrogate(char ch);
[jsr308.javac]   
[jsr308.javac]       @Pure
[jsr308.javac]       public static boolean isLowSurrogate(char ch);
[jsr308.javac]   
[jsr308.javac]       @Pure
[jsr308.javac]       public static boolean isSurrogate(char ch);
[jsr308.javac]   
[jsr308.javac]       @Pure
[jsr308.javac]       public static boolean isSurrogatePair(char high, char low);
[jsr308.javac]   
[jsr308.javac]       @Pure
[jsr308.javac]       public static int charCount(int codePoint);
[jsr308.javac]   
[jsr308.javac]       @Pure
[jsr308.javac]       public static int toCodePoint(char high, char low);
[jsr308.javac]   
[jsr308.javac]       @Pure
[jsr308.javac]       public static int codePointAt(CharSequence seq, int index);
[jsr308.javac]   
[jsr308.javac]       @Pure
[jsr308.javac]       public static int codePointAt(char[] a, int index);
[jsr308.javac]   
[jsr308.javac]       @Pure
[jsr308.javac]       public static int codePointAt(char[] a, int index, int limit);
[jsr308.javac]   
[jsr308.javac]       @Pure
[jsr308.javac]       public static int codePointBefore(CharSequence seq, int index);
[jsr308.javac]   
[jsr308.javac]       @Pure
[jsr308.javac]       public static int codePointBefore(char[] a, int index);
[jsr308.javac]   
[jsr308.javac]       @Pure
[jsr308.javac]       public static int codePointBefore(char[] a, int index, int start);
[jsr308.javac]   
[jsr308.javac]       @Pure
[jsr308.javac]       public static char highSurrogate(int codePoint);
[jsr308.javac]   
[jsr308.javac]       @Pure
[jsr308.javac]       public static char lowSurrogate(int codePoint);
[jsr308.javac]   
[jsr308.javac]       @Pure
[jsr308.javac]       public static int toChars(int codePoint, char[] dst, int dstIndex);
[jsr308.javac]   
[jsr308.javac]       @Pure
[jsr308.javac]       public static char[] toChars(int codePoint);
[jsr308.javac]   
[jsr308.javac]       @Pure
[jsr308.javac]       public static int codePointCount(CharSequence seq, int beginIndex, int endIndex);
[jsr308.javac]   
[jsr308.javac]       @Pure
[jsr308.javac]       public static int codePointCount(char[] a, int offset, int count);
[jsr308.javac]   
[jsr308.javac]       @Pure
[jsr308.javac]       public static int offsetByCodePoints(CharSequence seq, int index, int codePointOffset);
[jsr308.javac]   
[jsr308.javac]       @Pure
[jsr308.javac]       public static int offsetByCodePoints(char[] a, int start, int count, int index, int codePointOffset);
[jsr308.javac]   
[jsr308.javac]       @Pure
[jsr308.javac]       public static boolean isLowerCase(char ch);
[jsr308.javac]   
[jsr308.javac]       @Pure
[jsr308.javac]       public static boolean isLowerCase(int codePoint);
[jsr308.javac]   
[jsr308.javac]       @Pure
[jsr308.javac]       public static boolean isUpperCase(char ch);
[jsr308.javac]   
[jsr308.javac]       @Pure
[jsr308.javac]       public static boolean isUpperCase(int codePoint);
[jsr308.javac]   
[jsr308.javac]       @Pure
[jsr308.javac]       public static boolean isTitleCase(char ch);
[jsr308.javac]   
[jsr308.javac]       @Pure
[jsr308.javac]       public static boolean isTitleCase(int codePoint);
[jsr308.javac]   
[jsr308.javac]       @Pure
[jsr308.javac]       public static boolean isDigit(char ch);
[jsr308.javac]   
[jsr308.javac]       @Pure
[jsr308.javac]       public static boolean isDigit(int codePoint);
[jsr308.javac]   
[jsr308.javac]       @Pure
[jsr308.javac]       public static boolean isDefined(char ch);
[jsr308.javac]   
[jsr308.javac]       @Pure
[jsr308.javac]       public static boolean isDefined(int codePoint);
[jsr308.javac]   
[jsr308.javac]       @Pure
[jsr308.javac]       public static boolean isLetter(char ch);
[jsr308.javac]   
[jsr308.javac]       @Pure
[jsr308.javac]       public static boolean isLetter(int codePoint);
[jsr308.javac]   
[jsr308.javac]       @Pure
[jsr308.javac]       public static boolean isLetterOrDigit(char ch);
[jsr308.javac]   
[jsr308.javac]       @Pure
[jsr308.javac]       public static boolean isLetterOrDigit(int codePoint);
[jsr308.javac]   
[jsr308.javac]       @Pure
[jsr308.javac]       public static boolean isJavaLetter(char ch);
[jsr308.javac]   
[jsr308.javac]       @Pure
[jsr308.javac]       public static boolean isJavaLetterOrDigit(char ch);
[jsr308.javac]   
[jsr308.javac]       @Pure
[jsr308.javac]       public static boolean isAlphabetic(int codePoint);
[jsr308.javac]   
[jsr308.javac]       @Pure
[jsr308.javac]       public static boolean isIdeographic(int codePoint);
[jsr308.javac]   
[jsr308.javac]       @Pure
[jsr308.javac]       public static boolean isJavaIdentifierStart(char ch);
[jsr308.javac]   
[jsr308.javac]       @Pure
[jsr308.javac]       public static boolean isJavaIdentifierStart(int codePoint);
[jsr308.javac]   
[jsr308.javac]       @Pure
[jsr308.javac]       public static boolean isJavaIdentifierPart(char ch);
[jsr308.javac]   
[jsr308.javac]       @Pure
[jsr308.javac]       public static boolean isJavaIdentifierPart(int codePoint);
[jsr308.javac]   
[jsr308.javac]       @Pure
[jsr308.javac]       public static boolean isUnicodeIdentifierStart(char ch);
[jsr308.javac]   
[jsr308.javac]       @Pure
[jsr308.javac]       public static boolean isUnicodeIdentifierStart(int codePoint);
[jsr308.javac]   
[jsr308.javac]       @Pure
[jsr308.javac]       public static boolean isUnicodeIdentifierPart(char ch);
[jsr308.javac]   
[jsr308.javac]       @Pure
[jsr308.javac]       public static boolean isUnicodeIdentifierPart(int codePoint);
[jsr308.javac]   
[jsr308.javac]       @Pure
[jsr308.javac]       public static boolean isIdentifierIgnorable(char ch);
[jsr308.javac]   
[jsr308.javac]       @Pure
[jsr308.javac]       public static boolean isIdentifierIgnorable(int codePoint);
[jsr308.javac]   
[jsr308.javac]       @Pure
[jsr308.javac]       public static char toLowerCase(char ch);
[jsr308.javac]   
[jsr308.javac]       @Pure
[jsr308.javac]       public static int toLowerCase(int codePoint);
[jsr308.javac]   
[jsr308.javac]       @Pure
[jsr308.javac]       public static char toUpperCase(char ch);
[jsr308.javac]   
[jsr308.javac]       @Pure
[jsr308.javac]       public static int toUpperCase(int codePoint);
[jsr308.javac]   
[jsr308.javac]       @Pure
[jsr308.javac]       public static char toTitleCase(char ch);
[jsr308.javac]   
[jsr308.javac]       @Pure
[jsr308.javac]       public static int toTitleCase(int codePoint);
[jsr308.javac]   
[jsr308.javac]       @Pure
[jsr308.javac]       public static int digit(char ch, int radix);
[jsr308.javac]   
[jsr308.javac]       @Pure
[jsr308.javac]       public static int digit(int codePoint, int radix);
[jsr308.javac]   
[jsr308.javac]       @Pure
[jsr308.javac]       public static int getNumericValue(char ch);
[jsr308.javac]   
[jsr308.javac]       @Pure
[jsr308.javac]       public static int getNumericValue(int codePoint);
[jsr308.javac]   
[jsr308.javac]       @Pure
[jsr308.javac]       public static boolean isSpace(char ch);
[jsr308.javac]   
[jsr308.javac]       @Pure
[jsr308.javac]       public static boolean isSpaceChar(char ch);
[jsr308.javac]   
[jsr308.javac]       @Pure
[jsr308.javac]       public static boolean isSpaceChar(int codePoint);
[jsr308.javac]   
[jsr308.javac]       @Pure
[jsr308.javac]       public static boolean isWhitespace(char ch);
[jsr308.javac]   
[jsr308.javac]       @Pure
[jsr308.javac]       public static boolean isWhitespace(int codePoint);
[jsr308.javac]   
[jsr308.javac]       @Pure
[jsr308.javac]       public static boolean isISOControl(char ch);
[jsr308.javac]   
[jsr308.javac]       @Pure
[jsr308.javac]       public static boolean isISOControl(int codePoint);
[jsr308.javac]   
[jsr308.javac]       @Pure
[jsr308.javac]       public static int getType(char ch);
[jsr308.javac]   
[jsr308.javac]       @Pure
[jsr308.javac]       public static int getType(int codePoint);
[jsr308.javac]   
[jsr308.javac]       @Pure
[jsr308.javac]       public static char forDigit(int digit, int radix);
[jsr308.javac]   
[jsr308.javac]       @Pure
[jsr308.javac]       public static byte getDirectionality(char ch);
[jsr308.javac]   
[jsr308.javac]       @Pure
[jsr308.javac]       public static byte getDirectionality(int codePoint);
[jsr308.javac]   
[jsr308.javac]       @Pure
[jsr308.javac]       public static boolean isMirrored(char ch);
[jsr308.javac]   
[jsr308.javac]       @Pure
[jsr308.javac]       public static boolean isMirrored(int codePoint);
[jsr308.javac]   
[jsr308.javac]       @Pure
[jsr308.javac]       public int compareTo(Character anotherCharacter);
[jsr308.javac]   
[jsr308.javac]       @Pure
[jsr308.javac]       public static int compare(char x, char y);
[jsr308.javac]   
[jsr308.javac]       @Pure
[jsr308.javac]       public static char reverseBytes(char ch);
[jsr308.javac]   
[jsr308.javac]       @Pure
[jsr308.javac]       public static String getName(int codePoint);
[jsr308.javac]   
[jsr308.javac]       public static class Subset {
[jsr308.javac]   
[jsr308.javac]           @Pure
[jsr308.javac]           protected Subset(String name) {
[jsr308.javac]           }
[jsr308.javac]   
[jsr308.javac]           @Pure
[jsr308.javac]           public final boolean equals(Object obj);
[jsr308.javac]   
[jsr308.javac]           @Pure
[jsr308.javac]           public final int hashCode();
[jsr308.javac]   
[jsr308.javac]           @SideEffectFree
[jsr308.javac]           public final String toString();
[jsr308.javac]       }
[jsr308.javac]   
[jsr308.javac]       public static final class UnicodeBlock {
[jsr308.javac]   
[jsr308.javac]           @Pure
[jsr308.javac]           public static UnicodeBlock of(char c);
[jsr308.javac]   
[jsr308.javac]           @Pure
[jsr308.javac]           public static UnicodeBlock of(int codePoint);
[jsr308.javac]   
[jsr308.javac]           @Pure
[jsr308.javac]           public static final UnicodeBlock forName(String blockName);
[jsr308.javac]       }
[jsr308.javac]   
[jsr308.javac]       public static enum UnicodeScript {
[jsr308.javac]   
[jsr308.javac]           COMMON;
[jsr308.javac]   
[jsr308.javac]           @Pure
[jsr308.javac]           public static UnicodeScript of(int codePoint);
[jsr308.javac]   
[jsr308.javac]           @Pure
[jsr308.javac]           public static final UnicodeScript forName(String scriptName);
[jsr308.javac]       }
[jsr308.javac]   }
[jsr308.javac]   
[jsr308.javac]   public class Object {
[jsr308.javac]   
[jsr308.javac]       @Pure
[jsr308.javac]       public Object() {
[jsr308.javac]       }
[jsr308.javac]   
[jsr308.javac]       @SideEffectFree
[jsr308.javac]       public String toString();
[jsr308.javac]   
[jsr308.javac]       @Pure
[jsr308.javac]       public int hashCode();
[jsr308.javac]   
[jsr308.javac]       @Pure
[jsr308.javac]       public final Class getClass();
[jsr308.javac]   }
[jsr308.javac]   
[jsr308.javac]   public final class String {
[jsr308.javac]   
[jsr308.javac]       @Pure
[jsr308.javac]       public String intern();
[jsr308.javac]   
[jsr308.javac]       @Pure
[jsr308.javac]       public int lastIndexOf(int ch);
[jsr308.javac]   
[jsr308.javac]       @Pure
[jsr308.javac]       int length();
[jsr308.javac]   
[jsr308.javac]       @Pure
[jsr308.javac]       public String substring(int beginIndex);
[jsr308.javac]   }
[jsr308.javac]   
[jsr308.javac]   public final class System {
[jsr308.javac]   
[jsr308.javac]       @TerminatesExecution
[jsr308.javac]       public static void exit(int status);
[jsr308.javac]   }
[jsr308.javac]   
[jsr308.javac]   public class UnsupportedOperationException {
[jsr308.javac]   
[jsr308.javac]       @Pure
[jsr308.javac]       public UnsupportedOperationException() {
[jsr308.javac]       }
[jsr308.javac]   
[jsr308.javac]       @Pure
[jsr308.javac]       public UnsupportedOperationException(String message) {
[jsr308.javac]       }
[jsr308.javac]   
[jsr308.javac]       @Pure
[jsr308.javac]       public UnsupportedOperationException(String message, Throwable cause) {
[jsr308.javac]       }
[jsr308.javac]   
[jsr308.javac]       @Pure
[jsr308.javac]       public UnsupportedOperationException(Throwable cause) {
[jsr308.javac]       }
[jsr308.javac]   }
[jsr308.javac] warning: StubParser: annotateTypeParameters: mismatched sizes:  typeParameters (size 1)=[T];  typeArguments (size 0)=[];  decl=public final class Class {      @Pure     public String getName();      @Pure     public java.lang.reflect.Method getMethod(String a1, Class... a2);      @Pure     public java.lang.reflect.Constructor getConstructor(Class... a1); };  elt=java.lang.Class (class com.sun.tools.javac.code.Symbol$ClassSymbol).
[jsr308.javac]     For more details, run with -AstubDebug
[jsr308.javac] error: InvocationTargetException when invoking constructor for class org.checkerframework.checker.nullness.KeyForAnnotatedTypeFactory; Underlying cause: java.lang.IndexOutOfBoundsException: Index: 0
[jsr308.javac]   Exception: java.lang.reflect.InvocationTargetException; Stack trace: sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
[jsr308.javac]   sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62)
[jsr308.javac]   sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
[jsr308.javac]   java.lang.reflect.Constructor.newInstance(Constructor.java:423)
[jsr308.javac]   org.checkerframework.common.basetype.BaseTypeChecker.invokeConstructorFor(BaseTypeChecker.java:260)
[jsr308.javac]   org.checkerframework.common.basetype.BaseTypeVisitor.createTypeFactory(BaseTypeVisitor.java:232)
[jsr308.javac]   org.checkerframework.common.basetype.BaseTypeVisitor.(BaseTypeVisitor.java:189)
[jsr308.javac]   org.checkerframework.common.basetype.BaseTypeChecker.createSourceVisitor(BaseTypeChecker.java:209)
[jsr308.javac]   org.checkerframework.common.basetype.BaseTypeChecker.createSourceVisitor(BaseTypeChecker.java:81)
[jsr308.javac]   org.checkerframework.framework.source.SourceChecker.initChecker(SourceChecker.java:854)
[jsr308.javac]   org.checkerframework.common.basetype.BaseTypeChecker.initChecker(BaseTypeChecker.java:96)
[jsr308.javac]   org.checkerframework.common.basetype.BaseTypeChecker.initChecker(BaseTypeChecker.java:87)
[jsr308.javac]   org.checkerframework.framework.source.SourceChecker.typeProcessingStart(SourceChecker.java:811)
[jsr308.javac]   org.checkerframework.javacutil.AbstractTypeProcessor$AttributionTaskListener.finished(AbstractTypeProcessor.java:160)
[jsr308.javac]   com.sun.tools.javac.api.ClientCodeWrapper$WrappedTaskListener.finished(ClientCodeWrapper.java:681)
[jsr308.javac]   com.sun.tools.javac.api.MultiTaskListener.finished(MultiTaskListener.java:111)
[jsr308.javac]   com.sun.tools.javac.main.JavaCompiler.flow(JavaCompiler.java:1342)
[jsr308.javac]   com.sun.tools.javac.main.JavaCompiler.flow(JavaCompiler.java:1296)
[jsr308.javac]   com.sun.tools.javac.main.JavaCompiler.compile2(JavaCompiler.java:901)
[jsr308.javac]   com.sun.tools.javac.main.JavaCompiler.compile(JavaCompiler.java:860)
[jsr308.javac]   com.sun.tools.javac.main.Main.compile(Main.java:523)
[jsr308.javac]   com.sun.tools.javac.main.Main.compile(Main.java:381)
[jsr308.javac]   com.sun.tools.javac.main.Main.compile(Main.java:370)
[jsr308.javac]   com.sun.tools.javac.main.Main.compile(Main.java:361)
[jsr308.javac]   com.sun.tools.javac.Main.compile(Main.java:56)
[jsr308.javac]   com.sun.tools.javac.Main.main(Main.java:42)
[jsr308.javac]   Underlying Exception: java.lang.IndexOutOfBoundsException: Index: 0; Stack trace: java.util.Collections$EmptyList.get(Collections.java:4454)
[jsr308.javac]   org.checkerframework.framework.stub.StubParser.annotateTypeParameters(StubParser.java:1034)
[jsr308.javac]   org.checkerframework.framework.stub.StubParser.parseType(StubParser.java:564)
[jsr308.javac]   org.checkerframework.framework.stub.StubParser.parse(StubParser.java:483)
[jsr308.javac]   org.checkerframework.framework.stub.StubParser.parse(StubParser.java:419)
[jsr308.javac]   org.checkerframework.framework.stub.StubParser.parse(StubParser.java:395)
[jsr308.javac]   org.checkerframework.framework.stub.StubParser.parse(StubParser.java:387)
[jsr308.javac]   org.checkerframework.framework.type.AnnotatedTypeFactory.parseStubFiles(AnnotatedTypeFactory.java:2932)
[jsr308.javac]   org.checkerframework.framework.type.GenericAnnotatedTypeFactory.postInit(GenericAnnotatedTypeFactory.java:235)
[jsr308.javac]   org.checkerframework.checker.nullness.KeyForAnnotatedTypeFactory.(KeyForAnnotatedTypeFactory.java:68)
[jsr308.javac]   sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
[jsr308.javac]   sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62)
[jsr308.javac]   sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
[jsr308.javac]   java.lang.reflect.Constructor.newInstance(Constructor.java:423)
[jsr308.javac]   org.checkerframework.common.basetype.BaseTypeChecker.invokeConstructorFor(BaseTypeChecker.java:260)
[jsr308.javac]   org.checkerframework.common.basetype.BaseTypeVisitor.createTypeFactory(BaseTypeVisitor.java:232)
[jsr308.javac]   org.checkerframework.common.basetype.BaseTypeVisitor.(BaseTypeVisitor.java:189)
[jsr308.javac]   org.checkerframework.common.basetype.BaseTypeChecker.createSourceVisitor(BaseTypeChecker.java:209)
[jsr308.javac]   org.checkerframework.common.basetype.BaseTypeChecker.createSourceVisitor(BaseTypeChecker.java:81)
[jsr308.javac]   org.checkerframework.framework.source.SourceChecker.initChecker(SourceChecker.java:854)
[jsr308.javac]   org.checkerframework.common.basetype.BaseTypeChecker.initChecker(BaseTypeChecker.java:96)
[jsr308.javac]   org.checkerframework.common.basetype.BaseTypeChecker.initChecker(BaseTypeChecker.java:87)
[jsr308.javac]   org.checkerframework.framework.source.SourceChecker.typeProcessingStart(SourceChecker.java:811)
[jsr308.javac]   org.checkerframework.javacutil.AbstractTypeProcessor$AttributionTaskListener.finished(AbstractTypeProcessor.java:160)
[jsr308.javac]   com.sun.tools.javac.api.ClientCodeWrapper$WrappedTaskListener.finished(ClientCodeWrapper.java:681)
[jsr308.javac]   com.sun.tools.javac.api.MultiTaskListener.finished(MultiTaskListener.java:111)
[jsr308.javac]   com.sun.tools.javac.main.JavaCompiler.flow(JavaCompiler.java:1342)
[jsr308.javac]   com.sun.tools.javac.main.JavaCompiler.flow(JavaCompiler.java:1296)
[jsr308.javac]   com.sun.tools.javac.main.JavaCompiler.compile2(JavaCompiler.java:901)
[jsr308.javac]   com.sun.tools.javac.main.JavaCompiler.compile(JavaCompiler.java:860)
[jsr308.javac]   com.sun.tools.javac.main.Main.compile(Main.java:523)
[jsr308.javac]   com.sun.tools.javac.main.Main.compile(Main.java:381)
[jsr308.javac]   com.sun.tools.javac.main.Main.compile(Main.java:370)
[jsr308.javac]   com.sun.tools.javac.main.Main.compile(Main.java:361)
[jsr308.javac]   com.sun.tools.javac.Main.compile(Main.java:56)
[jsr308.javac]   com.sun.tools.javac.Main.main(Main.java:42)
[jsr308.javac] warning: -source 1.4 does not support type annotations
[jsr308.javac] warning: -source 1.4 does not support type annotations
[jsr308.javac] [checking org.apache.log4j.spi.Filter]
[jsr308.javac] [checking org.apache.log4j.spi.OptionHandler]
[jsr308.javac] [checking org.apache.log4j.spi.LoggingEvent]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/System.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/util/Dictionary.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/lang/ReflectiveOperationException.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/io/ObjectInput.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/io/DataInput.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/io/ObjectStreamConstants.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/lang/reflect/Executable.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/lang/reflect/AccessibleObject.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/lang/reflect/GenericDeclaration.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/reflect/AnnotatedElement.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/lang/reflect/Type.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/lang/reflect/Member.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/InterruptedException.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/NoSuchMethodException.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/RuntimeException.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/io/ObjectOutput.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/io/DataOutput.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/util/AbstractMap.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/Error.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/SecurityException.class)]]
[jsr308.javac] [checking org.apache.log4j.spi.ErrorHandler]
[jsr308.javac] [checking org.apache.log4j.Layout]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/CharSequence.class)]]
[jsr308.javac] [checking org.apache.log4j.Category]
[jsr308.javac] [checking org.apache.log4j.spi.AppenderAttachable]
[jsr308.javac] [checking org.apache.log4j.Priority]
[jsr308.javac] [checking org.apache.log4j.spi.ThrowableInformation]
[jsr308.javac] [checking org.apache.log4j.spi.LocationInfo]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/Number.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/AbstractStringBuilder.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/Throwable$PrintStreamOrWriter.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/io/PrintStream.class)]]
[jsr308.javac] [checking org.apache.log4j.Level]
[jsr308.javac] [checking org.apache.log4j.Logger]
[jsr308.javac] [checking org.apache.log4j.spi.LoggerRepository]
[jsr308.javac] [checking org.apache.log4j.helpers.AppenderAttachableImpl]
[jsr308.javac] [checking org.apache.log4j.spi.LoggerFactory]
[jsr308.javac] [checking org.apache.log4j.spi.HierarchyEventListener]
[jsr308.javac] [checking org.apache.log4j.AppenderSkeleton]
[jsr308.javac] [checking org.apache.log4j.AsyncAppender]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/NegativeArraySizeException.class)]]
[jsr308.javac] [checking org.apache.log4j.BasicConfigurator]
[jsr308.javac] [checking org.apache.log4j.CategoryKey]
[jsr308.javac] [checking org.apache.log4j.ConsoleAppender]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/nio/charset/CharsetEncoder.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/nio/charset/Charset.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/io/FilterOutputStream.class)]]
[jsr308.javac] [checking org.apache.log4j.WriterAppender]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/io/UnsupportedEncodingException.class)]]
[jsr308.javac] [checking org.apache.log4j.helpers.QuietWriter]
[jsr308.javac] [checking org.apache.log4j.DailyRollingFileAppender]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/net/URI.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/time/ZoneId.class)]]
[jsr308.javac] [checking org.apache.log4j.FileAppender]
[jsr308.javac] [checking org.apache.log4j.RollingCalendar]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/IllegalStateException.class)]]
[jsr308.javac] [checking org.apache.log4j.DefaultCategoryFactory]
[jsr308.javac] [checking org.apache.log4j.DefaultThrowableRenderer]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/io/BufferedReader.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/Readable.class)]]
[jsr308.javac] [checking org.apache.log4j.spi.ThrowableRenderer]
[jsr308.javac] [checking org.apache.log4j.Dispatcher]
[jsr308.javac] [checking org.apache.log4j.helpers.BoundedFIFO]
[jsr308.javac] [checking org.apache.log4j.EnhancedPatternLayout]
[jsr308.javac] [checking org.apache.log4j.helpers.PatternConverter]
[jsr308.javac] [checking org.apache.log4j.helpers.PatternParser]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/NumberFormatException.class)]]
[jsr308.javac] [checking org.apache.log4j.helpers.FormattingInfo]
[jsr308.javac] [checking org.apache.log4j.EnhancedThrowableRenderer]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/security/ProtectionDomain.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/Package.class)]]
[jsr308.javac] [checking org.apache.log4j.HTMLLayout]
[jsr308.javac] [checking org.apache.log4j.Hierarchy]
[jsr308.javac] [checking org.apache.log4j.spi.RendererSupport]
[jsr308.javac] [checking org.apache.log4j.spi.ThrowableRendererSupport]
[jsr308.javac] [checking org.apache.log4j.or.RendererMap]
[jsr308.javac] [checking org.apache.log4j.or.ObjectRenderer]
[jsr308.javac] [checking org.apache.log4j.ProvisionNode]
[jsr308.javac] [checking org.apache.log4j.LogMF]
[jsr308.javac] [checking org.apache.log4j.LogXF]
[jsr308.javac] [checking org.apache.log4j.LogManager]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/NoClassDefFoundError.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/LinkageError.class)]]
[jsr308.javac] [checking org.apache.log4j.spi.RepositorySelector]
[jsr308.javac] [checking org.apache.log4j.LogSF]
[jsr308.javac] [checking org.apache.log4j.MDC]
[jsr308.javac] [checking org.apache.log4j.NDC]
[jsr308.javac] [checking org.apache.log4j.PatternLayout]
[jsr308.javac] [checking org.apache.log4j.PropertyConfigurator]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/io/FileDescriptor.class)]]
[jsr308.javac] [checking org.apache.log4j.spi.Configurator]
[jsr308.javac] [checking org.apache.log4j.PropertyWatchdog]
[jsr308.javac] [checking org.apache.log4j.helpers.FileWatchdog]
[jsr308.javac] [checking org.apache.log4j.NameValue]
[jsr308.javac] [checking org.apache.log4j.SortedKeyEnumeration]
[jsr308.javac] [checking org.apache.log4j.RollingFileAppender]
[jsr308.javac] [checking org.apache.log4j.SimpleLayout]
[jsr308.javac] [checking org.apache.log4j.TTCCLayout]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/text/Format$Field.class)]]
[jsr308.javac] [checking org.apache.log4j.helpers.DateLayout]
[jsr308.javac] [checking org.apache.log4j.config.PropertyGetter]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/beans/FeatureDescriptor.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/checker-qual.jar(org/checkerframework/checker/nullness/qual/EnsuresNonNull.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/checker-qual.jar(org/checkerframework/framework/qual/PostconditionAnnotation.class)]]
[jsr308.javac] [checking org.apache.log4j.config.PropertyPrinter]
[jsr308.javac] [checking org.apache.log4j.config.PropertySetter]
[jsr308.javac] [checking org.apache.log4j.config.PropertySetterException]
[jsr308.javac] [checking org.apache.log4j.helpers.AbsoluteTimeDateFormat]
[jsr308.javac] [checking org.apache.log4j.helpers.CountingQuietWriter]
[jsr308.javac] [checking org.apache.log4j.helpers.CyclicBuffer]
[jsr308.javac] [checking org.apache.log4j.helpers.DateTimeDateFormat]
[jsr308.javac] [checking org.apache.log4j.helpers.ISO8601DateFormat]
[jsr308.javac] [checking org.apache.log4j.helpers.Loader]
[jsr308.javac] [checking org.apache.log4j.helpers.LogLog]
[jsr308.javac] [checking org.apache.log4j.helpers.MDCKeySetExtractor]
[jsr308.javac] [checking org.apache.log4j.helpers.NullEnumeration]
[jsr308.javac] [checking org.apache.log4j.helpers.OnlyOnceErrorHandler]
[jsr308.javac] [checking org.apache.log4j.helpers.OptionConverter]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/ClassCastException.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/InstantiationException.class)]]
[jsr308.javac] [checking org.apache.log4j.helpers.RelativeTimeDateFormat]
[jsr308.javac] [checking org.apache.log4j.helpers.SyslogQuietWriter]
[jsr308.javac] [checking org.apache.log4j.helpers.SyslogWriter]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/NullPointerException.class)]]
[jsr308.javac] [checking org.apache.log4j.helpers.ThreadLocalMap]
[jsr308.javac] [checking org.apache.log4j.helpers.Transform]
[jsr308.javac] [checking org.apache.log4j.helpers.UtilLoggingLevel]
[jsr308.javac] [checking org.apache.log4j.jdbc.JDBCAppender]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/sql/Wrapper.class)]]
[jsr308.javac] [checking org.apache.log4j.net.SimpleSocketServer]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/net/SocketImpl.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/ThreadGroup.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/security/AccessControlContext.class)]]
[jsr308.javac] [checking org.apache.log4j.net.SocketAppender]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/net/ConnectException.class)]]
[jsr308.javac] [checking org.apache.log4j.net.ZeroConfSupport]
[jsr308.javac] [checking org.apache.log4j.net.SocketHubAppender]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/ArrayIndexOutOfBoundsException.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/IndexOutOfBoundsException.class)]]
[jsr308.javac] [checking org.apache.log4j.net.SocketNode]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/io/FilterInputStream.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/io/EOFException.class)]]
[jsr308.javac] [checking org.apache.log4j.net.SocketServer]
[jsr308.javac] [checking org.apache.log4j.net.SyslogAppender]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/util/regex/Matcher.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/java/util/regex/MatchResult.class)]]
[jsr308.javac] [checking org.apache.log4j.net.TelnetAppender]
[jsr308.javac] [checking org.apache.log4j.nt.NTEventLogAppender]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/UnsatisfiedLinkError.class)]]
[jsr308.javac] [checking org.apache.log4j.or.DefaultRenderer]
[jsr308.javac] [checking org.apache.log4j.or.ThreadGroupRenderer]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/Thread$UncaughtExceptionHandler.class)]]
[jsr308.javac] [checking org.apache.log4j.or.sax.AttributesRenderer]
[jsr308.javac] [checking org.apache.log4j.pattern.BridgePatternConverter]
[jsr308.javac] [checking org.apache.log4j.pattern.LoggingEventPatternConverter]
[jsr308.javac] [checking org.apache.log4j.pattern.PatternConverter]
[jsr308.javac] [checking org.apache.log4j.pattern.FormattingInfo]
[jsr308.javac] [checking org.apache.log4j.pattern.BridgePatternParser]
[jsr308.javac] [checking org.apache.log4j.pattern.CachedDateFormat]
[jsr308.javac] [checking org.apache.log4j.pattern.ClassNamePatternConverter]
[jsr308.javac] [checking org.apache.log4j.pattern.NamePatternConverter]
[jsr308.javac] [checking org.apache.log4j.pattern.NameAbbreviator]
[jsr308.javac] [checking org.apache.log4j.pattern.DatePatternConverter]
[jsr308.javac] [checking org.apache.log4j.pattern.FileDatePatternConverter]
[jsr308.javac] [checking org.apache.log4j.pattern.FileLocationPatternConverter]
[jsr308.javac] [checking org.apache.log4j.pattern.FullLocationPatternConverter]
[jsr308.javac] [checking org.apache.log4j.pattern.IntegerPatternConverter]
[jsr308.javac] [checking org.apache.log4j.pattern.LevelPatternConverter]
[jsr308.javac] [checking org.apache.log4j.pattern.LineLocationPatternConverter]
[jsr308.javac] [checking org.apache.log4j.pattern.LineSeparatorPatternConverter]
[jsr308.javac] [checking org.apache.log4j.pattern.LiteralPatternConverter]
[jsr308.javac] [checking org.apache.log4j.pattern.LogEvent]
[jsr308.javac] [checking org.apache.log4j.pattern.LoggerPatternConverter]
[jsr308.javac] [checking org.apache.log4j.pattern.MessagePatternConverter]
[jsr308.javac] [checking org.apache.log4j.pattern.MethodLocationPatternConverter]
[jsr308.javac] [checking org.apache.log4j.pattern.NDCPatternConverter]
[jsr308.javac] [checking org.apache.log4j.pattern.PatternParser]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/UnsupportedOperationException.class)]]
[jsr308.javac] [checking org.apache.log4j.pattern.PropertiesPatternConverter]
[jsr308.javac] [checking org.apache.log4j.pattern.RelativeTimePatternConverter]
[jsr308.javac] [checking org.apache.log4j.pattern.SequenceNumberPatternConverter]
[jsr308.javac] [checking org.apache.log4j.pattern.ThreadPatternConverter]
[jsr308.javac] [checking org.apache.log4j.pattern.ThrowableInformationPatternConverter]
[jsr308.javac] [checking org.apache.log4j.rewrite.MapRewritePolicy]
[jsr308.javac] [checking org.apache.log4j.rewrite.RewritePolicy]
[jsr308.javac] [checking org.apache.log4j.rewrite.PropertyRewritePolicy]
[jsr308.javac] [checking org.apache.log4j.rewrite.ReflectionRewritePolicy]
[jsr308.javac] [checking org.apache.log4j.rewrite.RewriteAppender]
[jsr308.javac] [checking org.apache.log4j.xml.UnrecognizedElementHandler]
[jsr308.javac] [checking org.apache.log4j.spi.DefaultRepositorySelector]
[jsr308.javac] [checking org.apache.log4j.spi.ErrorCode]
[jsr308.javac] [checking org.apache.log4j.spi.NOPLogger]
[jsr308.javac] /Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/spi/NOPLogger.java:105: warning: [deprecation] getChainedPriority() in Category has been deprecated
[jsr308.javac]     public Priority getChainedPriority() {
[jsr308.javac]                     ^
[jsr308.javac] /Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/spi/NOPLogger.java:183: warning: [deprecation] setPriority(Priority) in Category has been deprecated
[jsr308.javac]     public void setPriority(final Priority priority) {
[jsr308.javac]                 ^
[jsr308.javac] [checking org.apache.log4j.spi.NOPLoggerRepository]
[jsr308.javac] [checking org.apache.log4j.spi.NullWriter]
[jsr308.javac] [checking org.apache.log4j.spi.RootCategory]
[jsr308.javac] [checking org.apache.log4j.spi.RootLogger]
[jsr308.javac] [checking org.apache.log4j.spi.TriggeringEventEvaluator]
[jsr308.javac] [checking org.apache.log4j.spi.VectorWriter]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(java/lang/StringBuilder.class)]]
[jsr308.javac] [checking org.apache.log4j.varia.DenyAllFilter]
[jsr308.javac] [checking org.apache.log4j.varia.ExternallyRolledFileAppender]
[jsr308.javac] [checking org.apache.log4j.varia.HUP]
[jsr308.javac] [checking org.apache.log4j.varia.HUPNode]
[jsr308.javac] [checking org.apache.log4j.varia.FallbackErrorHandler]
[jsr308.javac] [checking org.apache.log4j.varia.LevelMatchFilter]
[jsr308.javac] [checking org.apache.log4j.varia.LevelRangeFilter]
[jsr308.javac] [checking org.apache.log4j.varia.NullAppender]
[jsr308.javac] [checking org.apache.log4j.varia.ReloadingPropertyConfigurator]
[jsr308.javac] [checking org.apache.log4j.varia.Roller]
[jsr308.javac] [checking org.apache.log4j.varia.StringMatchFilter]
[jsr308.javac] [checking org.apache.log4j.xml.DOMConfigurator]
[jsr308.javac] [loading RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/xml/SAXErrorHandler.java]]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/xml/SAXErrorHandler.java]]
[jsr308.javac] [parsing completed 1ms]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/org/xml/sax/ErrorHandler.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/org/xml/sax/SAXParseException.class)]]
[jsr308.javac] [loading RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/xml/Log4jEntityResolver.java]]
[jsr308.javac] [parsing started RegularFileObject[/Users/amd/Desktop/Programming/Java/log4j/src/main/java/org/apache/log4j/xml/Log4jEntityResolver.java]]
[jsr308.javac] [parsing completed 1ms]
[jsr308.javac] [loading ZipFileIndexFileObject[/Users/amd/checker-framework-2.3.1/checker/dist/jdk8.jar(org/xml/sax/EntityResolver.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/org/w3c/dom/DOMException.class)]]
[jsr308.javac] [loading ZipFileIndexFileObject[/Library/Java/JavaVirtualMachines/jdk1.8.0_151.jdk/Contents/Home/lib/ct.sym(META-INF/sym/rt.jar/javax/xml/parsers/ParserConfigurationException.class)]]
[jsr308.javac] [checking org.apache.log4j.xml.XMLWatchdog]
[jsr308.javac] [checking org.apache.log4j.xml.SAXErrorHandler]
[jsr308.javac] [checking org.apache.log4j.xml.Log4jEntityResolver]
[jsr308.javac] [total 5523ms]
[jsr308.javac] 1 error
[jsr308.javac] 5 warnings

BUILD FAILED
/Users/amd/Desktop/Programming/Java/log4j/build.xml:301: Compile failed; see the compiler error output for details.

Total time: 7 seconds
wmdietl commented 6 years ago

Thanks for the bug report and sorry that there is an issue. I can reproduce the crash. The issue is that the project is using -source 1.4. Java 1.4 doesn't support type parameters. When the stub parser then parses a file with type parameters, in this case flow.astub, something unexpected happens and we get an IndexOutOfBoundsException.

To get rid of this exception, you can increase the source version to at least 1.5, as done in the patch at the end of this comment. We can look whether we can make stub parsing more resilient against such a mismatch, but I expect similar errors could arise anywhere in our code. So maybe we should more explicitly document our minimum source assumption.

diff --git a/build.xml b/build.xml
index 660ab72a..b8734add 100644
--- a/build.xml
+++ b/build.xml
@@ -106,8 +106,8 @@
   <!-- Directory for temporary files. -->
   <property name="dist.tmp" value="${dist.dir}/tmp"/>

-  <property name="javac.source" value="1.4"/>
-  <property name="javac.target" value="1.4"/>
+  <property name="javac.source" value="1.5"/>
+  <property name="javac.target" value="1.5"/>

   <!--  destination for generated documentation on Apache web host  -->
   <property name="apache.javadoc_dest" value="/www/logging.apache.org/log4j/docs"/>
andrewda commented 6 years ago

Upping the source and target to 1.5 worked great, thank you! And yeah, I think making it more explicitly documented that the source version must be at least 1.5 would be great.

mernst commented 6 years ago

Thanks for pointing out this limitation of our documentation. I have fixed it.