Source: checker-framework-java Version: 3.2.0+ds-2 Severity: minor Tags: trixie sid ftbfs User: [email protected] Usertags: ftbfs-sab-20230813 ftbfs-source-after-build User: [email protected] Usertags: qa-doublebuild
Hi, This package fails to build a source package after a successful build (dpkg-buildpackage ; dpkg-buildpackage -S). This is probably a clear violation of Debian Policy section 4.9 (clean target), but this is filed as severity:minor for now, because a discussion on debian-devel showed that we might want to revisit the requirement of a working 'clean' target. More information about this class of issues, included common problems and solutions, is available at https://wiki.debian.org/qa.debian.org/FTBFS/SourceAfterBuild Relevant part of the build log: > cd /<<PKGBUILDDIR>> && runuser -u user42 -- dpkg-buildpackage --sanitize-env > -us -uc -rfakeroot -S > ------------------------------------------------------------------------------------------------------------------------------------------------------ > > dpkg-buildpackage: info: source package checker-framework-java > dpkg-buildpackage: info: source version 3.2.0+ds-2 > dpkg-buildpackage: info: source distribution unstable > dpkg-buildpackage: info: source changed by Olek Wojnar <[email protected]> > dpkg-source --before-build . > debian/rules clean > dh clean --buildsystem=gradle --with maven_repo_helper > dh_auto_clean -O--buildsystem=gradle > sh -c "find . -wholename .*build/tmp | xargs echo | sed -e > 's^build/tmp^build^g' | xargs rm -Rf" > sh -c "find . -wholename .*build/debian | xargs echo | sed -e > 's^build/tmp^build^g' | xargs rm -Rf" > rm -Rf /<<BUILDDIR>>/checker-framework-java-3.2.0\+ds/.gradle > /<<BUILDDIR>>/checker-framework-java-3.2.0\+ds/buildSrc/.gradle .m2 > dh_autoreconf_clean -O--buildsystem=gradle > dh_clean -O--buildsystem=gradle > rm -f debian/debhelper-build-stamp > rm -rf debian/.debhelper/ > rm -f -- debian/libchecker-framework-java.substvars debian/files > rm -fr -- debian/libchecker-framework-java/ debian/tmp/ > find . \( \( \ > \( -path .\*/.git -o -path .\*/.svn -o -path .\*/.bzr -o -path > .\*/.hg -o -path .\*/CVS -o -path .\*/.pc -o -path .\*/_darcs \) -prune -o > -type f -a \ > \( -name '#*#' -o -name '.*~' -o -name '*~' -o -name DEADJOE \ > -o -name '*.orig' -o -name '*.rej' -o -name '*.bak' \ > -o -name '.*.orig' -o -name .*.rej -o -name '.SUMS' \ > -o -name TAGS -o \( -path '*/.deps/*' -a -name '*.P' \) \ > \) -exec rm -f {} + \) -o \ > \( -type d -a -name autom4te.cache -prune -exec rm -rf {} + \) > \) > dpkg-source -b . > dpkg-source: info: using source format '3.0 (quilt)' > dpkg-source: info: building checker-framework-java using existing > ./checker-framework-java_3.2.0+ds.orig.tar.xz > dpkg-source: info: using patch list from debian/patches/series > dpkg-source: info: local changes detected, the modified files are: > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/compilermsgs/qual/CompilerMessageKey.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/compilermsgs/qual/CompilerMessageKeyBottom.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/compilermsgs/qual/UnknownCompilerMessageKey.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/compilermsgs/qual/package-info.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/fenum/qual/AwtAlphaCompositingRule.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/fenum/qual/AwtColorSpace.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/fenum/qual/AwtCursorType.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/fenum/qual/AwtFlowLayout.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/fenum/qual/Fenum.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/fenum/qual/FenumBottom.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/fenum/qual/FenumTop.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/fenum/qual/FenumUnqualified.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/fenum/qual/PolyFenum.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/fenum/qual/SwingBoxOrientation.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/fenum/qual/SwingCompassDirection.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/fenum/qual/SwingElementOrientation.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/fenum/qual/SwingHorizontalOrientation.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/fenum/qual/SwingSplitPaneOrientation.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/fenum/qual/SwingTextOrientation.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/fenum/qual/SwingTitleJustification.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/fenum/qual/SwingTitlePosition.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/fenum/qual/SwingVerticalOrientation.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/formatter/FormatUtil.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/formatter/qual/ConversionCategory.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/formatter/qual/Format.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/formatter/qual/FormatBottom.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/formatter/qual/FormatMethod.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/formatter/qual/InvalidFormat.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/formatter/qual/ReturnsFormat.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/formatter/qual/UnknownFormat.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/guieffect/qual/AlwaysSafe.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/guieffect/qual/PolyUI.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/guieffect/qual/PolyUIEffect.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/guieffect/qual/PolyUIType.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/guieffect/qual/SafeEffect.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/guieffect/qual/SafeType.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/guieffect/qual/UI.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/guieffect/qual/UIEffect.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/guieffect/qual/UIPackage.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/guieffect/qual/UIType.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/i18n/qual/LocalizableKey.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/i18n/qual/LocalizableKeyBottom.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/i18n/qual/Localized.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/i18n/qual/UnknownLocalizableKey.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/i18n/qual/UnknownLocalized.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/i18nformatter/I18nFormatUtil.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/i18nformatter/qual/I18nChecksFormat.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/i18nformatter/qual/I18nConversionCategory.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/i18nformatter/qual/I18nFormat.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/i18nformatter/qual/I18nFormatBottom.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/i18nformatter/qual/I18nFormatFor.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/i18nformatter/qual/I18nInvalidFormat.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/i18nformatter/qual/I18nMakeFormat.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/i18nformatter/qual/I18nUnknownFormat.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/i18nformatter/qual/I18nValidFormat.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/index/qual/EnsuresLTLengthOf.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/index/qual/EnsuresLTLengthOfIf.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/index/qual/GTENegativeOne.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/index/qual/HasSubsequence.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/index/qual/IndexFor.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/index/qual/IndexOrHigh.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/index/qual/IndexOrLow.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/index/qual/LTEqLengthOf.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/index/qual/LTLengthOf.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/index/qual/LTOMLengthOf.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/index/qual/LengthOf.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/index/qual/LessThan.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/index/qual/LessThanBottom.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/index/qual/LessThanUnknown.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/index/qual/LowerBoundBottom.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/index/qual/LowerBoundUnknown.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/index/qual/NegativeIndexFor.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/index/qual/NonNegative.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/index/qual/PolyIndex.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/index/qual/PolyLength.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/index/qual/PolyLowerBound.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/index/qual/PolySameLen.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/index/qual/PolyUpperBound.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/index/qual/Positive.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/index/qual/SameLen.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/index/qual/SameLenBottom.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/index/qual/SameLenUnknown.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/index/qual/SearchIndexBottom.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/index/qual/SearchIndexFor.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/index/qual/SearchIndexUnknown.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/index/qual/SubstringIndexBottom.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/index/qual/SubstringIndexFor.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/index/qual/SubstringIndexUnknown.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/index/qual/UpperBoundBottom.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/index/qual/UpperBoundUnknown.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/initialization/qual/FBCBottom.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/initialization/qual/Initialized.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/initialization/qual/NotOnlyInitialized.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/initialization/qual/UnderInitialization.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/initialization/qual/UnknownInitialization.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/interning/qual/InternMethod.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/interning/qual/Interned.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/interning/qual/InternedDistinct.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/interning/qual/PolyInterned.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/interning/qual/UnknownInterned.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/interning/qual/UsesObjectEquals.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/lock/qual/EnsuresLockHeld.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/lock/qual/EnsuresLockHeldIf.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/lock/qual/GuardSatisfied.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/lock/qual/GuardedBy.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/lock/qual/GuardedByBottom.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/lock/qual/GuardedByUnknown.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/lock/qual/Holding.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/lock/qual/LockHeld.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/lock/qual/LockPossiblyHeld.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/lock/qual/LockingFree.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/lock/qual/MayReleaseLocks.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/lock/qual/PolyGuardedBy.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/lock/qual/ReleasesNoLocks.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/nullness/NullnessUtil.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/nullness/Opt.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/nullness/qual/AssertNonNullIfNonNull.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/nullness/qual/EnsuresKeyFor.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/nullness/qual/EnsuresKeyForIf.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/nullness/qual/EnsuresNonNull.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/nullness/qual/EnsuresNonNullIf.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/nullness/qual/KeyFor.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/nullness/qual/KeyForBottom.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/nullness/qual/MonotonicNonNull.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/nullness/qual/NonNull.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/nullness/qual/Nullable.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/nullness/qual/PolyKeyFor.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/nullness/qual/PolyNull.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/nullness/qual/RequiresNonNull.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/nullness/qual/UnknownKeyFor.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/optional/qual/MaybePresent.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/optional/qual/PolyPresent.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/optional/qual/Present.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/propkey/qual/PropertyKey.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/propkey/qual/PropertyKeyBottom.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/propkey/qual/UnknownPropertyKey.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/regex/RegexUtil.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/regex/qual/PartialRegex.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/regex/qual/PolyRegex.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/regex/qual/Regex.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/regex/qual/RegexBottom.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/regex/qual/UnknownRegex.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/signature/qual/BinaryName.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/signature/qual/BinaryNameInUnnamedPackage.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/signature/qual/ClassGetName.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/signature/qual/ClassGetSimpleName.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/signature/qual/DotSeparatedIdentifiers.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/signature/qual/FieldDescriptor.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/signature/qual/FieldDescriptorForPrimitive.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/signature/qual/FieldDescriptorForPrimitiveOrArrayInUnnamedPackage.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/signature/qual/FqBinaryName.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/signature/qual/FullyQualifiedName.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/signature/qual/Identifier.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/signature/qual/IdentifierOrArray.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/signature/qual/InternalForm.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/signature/qual/MethodDescriptor.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/signature/qual/PolySignature.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/signature/qual/SignatureBottom.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/signature/qual/SignatureUnknown.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/signedness/SignednessUtil.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/signedness/qual/PolySigned.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/signedness/qual/Signed.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/signedness/qual/SignedPositive.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/signedness/qual/SignednessBottom.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/signedness/qual/SignednessGlb.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/signedness/qual/UnknownSignedness.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/signedness/qual/Unsigned.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/tainting/qual/PolyTainted.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/tainting/qual/Tainted.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/tainting/qual/Untainted.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/units/UnitsTools.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/units/qual/A.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/units/qual/Acceleration.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/units/qual/Angle.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/units/qual/Area.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/units/qual/C.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/units/qual/Current.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/units/qual/K.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/units/qual/Length.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/units/qual/Luminance.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/units/qual/Mass.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/units/qual/MixedUnits.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/units/qual/PolyUnit.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/units/qual/Prefix.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/units/qual/Speed.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/units/qual/Substance.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/units/qual/Temperature.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/units/qual/Time.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/units/qual/UnitsBottom.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/units/qual/UnitsMultiple.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/units/qual/UnitsRelations.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/units/qual/UnknownUnits.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/units/qual/cd.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/units/qual/degrees.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/units/qual/g.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/units/qual/h.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/units/qual/kg.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/units/qual/km.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/units/qual/km2.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/units/qual/kmPERh.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/units/qual/m.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/units/qual/m2.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/units/qual/mPERs.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/units/qual/mPERs2.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/units/qual/min.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/units/qual/mm.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/units/qual/mm2.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/units/qual/mol.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/units/qual/radians.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/checker/units/qual/s.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/common/aliasing/qual/LeakedToResult.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/common/aliasing/qual/MaybeAliased.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/common/aliasing/qual/MaybeLeaked.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/common/aliasing/qual/NonLeaked.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/common/aliasing/qual/Unique.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/common/reflection/qual/ClassBound.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/common/reflection/qual/ClassVal.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/common/reflection/qual/ClassValBottom.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/common/reflection/qual/ForName.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/common/reflection/qual/GetClass.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/common/reflection/qual/GetConstructor.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/common/reflection/qual/GetMethod.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/common/reflection/qual/Invoke.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/common/reflection/qual/MethodVal.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/common/reflection/qual/MethodValBottom.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/common/reflection/qual/NewInstance.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/common/reflection/qual/UnknownClass.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/common/reflection/qual/UnknownMethod.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/common/subtyping/qual/Bottom.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/common/subtyping/qual/Unqualified.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/common/util/report/qual/ReportCall.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/common/util/report/qual/ReportCreation.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/common/util/report/qual/ReportInherit.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/common/util/report/qual/ReportOverride.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/common/util/report/qual/ReportReadWrite.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/common/util/report/qual/ReportUnqualified.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/common/util/report/qual/ReportUse.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/common/util/report/qual/ReportWrite.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/common/value/qual/ArrayLen.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/common/value/qual/ArrayLenRange.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/common/value/qual/BoolVal.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/common/value/qual/BottomVal.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/common/value/qual/DoubleVal.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/common/value/qual/EnsuresMinLenIf.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/common/value/qual/IntRange.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/common/value/qual/IntRangeFromGTENegativeOne.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/common/value/qual/IntRangeFromNonNegative.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/common/value/qual/IntRangeFromPositive.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/common/value/qual/IntVal.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/common/value/qual/MinLen.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/common/value/qual/MinLenFieldInvariant.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/common/value/qual/PolyValue.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/common/value/qual/StaticallyExecutable.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/common/value/qual/StringVal.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/common/value/qual/UnknownVal.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/dataflow/qual/Deterministic.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/dataflow/qual/Pure.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/dataflow/qual/SideEffectFree.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/dataflow/qual/TerminatesExecution.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/framework/qual/AnnotatedFor.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/framework/qual/CFComment.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/framework/qual/ConditionalPostconditionAnnotation.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/framework/qual/Covariant.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/framework/qual/DefaultFor.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/framework/qual/DefaultInUncheckedCodeFor.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/framework/qual/DefaultQualifier.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/framework/qual/DefaultQualifierForUse.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/framework/qual/DefaultQualifierInHierarchy.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/framework/qual/DefaultQualifierInHierarchyInUncheckedCode.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/framework/qual/DefaultQualifiers.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/framework/qual/EnsuresQualifier.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/framework/qual/EnsuresQualifierIf.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/framework/qual/EnsuresQualifiers.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/framework/qual/EnsuresQualifiersIf.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/framework/qual/FieldInvariant.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/framework/qual/FromByteCode.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/framework/qual/FromStubFile.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/framework/qual/IgnoreInWholeProgramInference.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/framework/qual/InheritedAnnotation.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/framework/qual/InvisibleQualifier.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/framework/qual/JavaExpression.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/framework/qual/LiteralKind.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/framework/qual/MonotonicQualifier.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/framework/qual/NoDefaultQualifierForUse.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/framework/qual/PolymorphicQualifier.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/framework/qual/PostconditionAnnotation.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/framework/qual/PreconditionAnnotation.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/framework/qual/QualifierArgument.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/framework/qual/QualifierForLiterals.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/framework/qual/RelevantJavaTypes.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/framework/qual/RequiresQualifier.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/framework/qual/RequiresQualifiers.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/framework/qual/StubFiles.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/framework/qual/SubtypeOf.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/framework/qual/TargetLocations.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/framework/qual/TypeKind.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/framework/qual/TypeUseLocation.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/framework/qual/Unused.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/framework/qual/UpperBoundFor.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/framework/qual/package-info.java > > checker-framework-java-3.2.0+ds/checker-qual-android/src/main/java/org/checkerframework/framework/util/PurityUnqualified.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/compilermsgs/qual/CompilerMessageKey.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/compilermsgs/qual/CompilerMessageKeyBottom.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/compilermsgs/qual/UnknownCompilerMessageKey.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/compilermsgs/qual/package-info.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/fenum/qual/AwtAlphaCompositingRule.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/fenum/qual/AwtColorSpace.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/fenum/qual/AwtCursorType.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/fenum/qual/AwtFlowLayout.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/fenum/qual/Fenum.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/fenum/qual/FenumBottom.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/fenum/qual/FenumTop.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/fenum/qual/FenumUnqualified.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/fenum/qual/PolyFenum.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/fenum/qual/SwingBoxOrientation.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/fenum/qual/SwingCompassDirection.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/fenum/qual/SwingElementOrientation.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/fenum/qual/SwingHorizontalOrientation.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/fenum/qual/SwingSplitPaneOrientation.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/fenum/qual/SwingTextOrientation.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/fenum/qual/SwingTitleJustification.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/fenum/qual/SwingTitlePosition.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/fenum/qual/SwingVerticalOrientation.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/formatter/FormatUtil.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/formatter/qual/ConversionCategory.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/formatter/qual/Format.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/formatter/qual/FormatBottom.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/formatter/qual/FormatMethod.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/formatter/qual/InvalidFormat.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/formatter/qual/ReturnsFormat.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/formatter/qual/UnknownFormat.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/guieffect/qual/AlwaysSafe.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/guieffect/qual/PolyUI.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/guieffect/qual/PolyUIEffect.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/guieffect/qual/PolyUIType.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/guieffect/qual/SafeEffect.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/guieffect/qual/SafeType.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/guieffect/qual/UI.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/guieffect/qual/UIEffect.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/guieffect/qual/UIPackage.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/guieffect/qual/UIType.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/i18n/qual/LocalizableKey.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/i18n/qual/LocalizableKeyBottom.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/i18n/qual/Localized.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/i18n/qual/UnknownLocalizableKey.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/i18n/qual/UnknownLocalized.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/i18nformatter/I18nFormatUtil.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/i18nformatter/qual/I18nChecksFormat.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/i18nformatter/qual/I18nConversionCategory.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/i18nformatter/qual/I18nFormat.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/i18nformatter/qual/I18nFormatBottom.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/i18nformatter/qual/I18nFormatFor.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/i18nformatter/qual/I18nInvalidFormat.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/i18nformatter/qual/I18nMakeFormat.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/i18nformatter/qual/I18nUnknownFormat.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/i18nformatter/qual/I18nValidFormat.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/index/qual/EnsuresLTLengthOf.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/index/qual/EnsuresLTLengthOfIf.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/index/qual/GTENegativeOne.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/index/qual/HasSubsequence.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/index/qual/IndexFor.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/index/qual/IndexOrHigh.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/index/qual/IndexOrLow.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/index/qual/LTEqLengthOf.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/index/qual/LTLengthOf.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/index/qual/LTOMLengthOf.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/index/qual/LengthOf.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/index/qual/LessThan.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/index/qual/LessThanBottom.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/index/qual/LessThanUnknown.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/index/qual/LowerBoundBottom.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/index/qual/LowerBoundUnknown.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/index/qual/NegativeIndexFor.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/index/qual/NonNegative.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/index/qual/PolyIndex.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/index/qual/PolyLength.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/index/qual/PolyLowerBound.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/index/qual/PolySameLen.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/index/qual/PolyUpperBound.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/index/qual/Positive.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/index/qual/SameLen.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/index/qual/SameLenBottom.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/index/qual/SameLenUnknown.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/index/qual/SearchIndexBottom.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/index/qual/SearchIndexFor.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/index/qual/SearchIndexUnknown.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/index/qual/SubstringIndexBottom.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/index/qual/SubstringIndexFor.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/index/qual/SubstringIndexUnknown.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/index/qual/UpperBoundBottom.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/index/qual/UpperBoundUnknown.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/initialization/qual/FBCBottom.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/initialization/qual/Initialized.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/initialization/qual/NotOnlyInitialized.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/initialization/qual/UnderInitialization.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/initialization/qual/UnknownInitialization.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/interning/qual/InternMethod.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/interning/qual/Interned.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/interning/qual/InternedDistinct.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/interning/qual/PolyInterned.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/interning/qual/UnknownInterned.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/interning/qual/UsesObjectEquals.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/lock/qual/EnsuresLockHeld.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/lock/qual/EnsuresLockHeldIf.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/lock/qual/GuardSatisfied.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/lock/qual/GuardedBy.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/lock/qual/GuardedByBottom.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/lock/qual/GuardedByUnknown.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/lock/qual/Holding.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/lock/qual/LockHeld.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/lock/qual/LockPossiblyHeld.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/lock/qual/LockingFree.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/lock/qual/MayReleaseLocks.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/lock/qual/PolyGuardedBy.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/lock/qual/ReleasesNoLocks.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/nullness/NullnessUtil.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/nullness/Opt.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/nullness/qual/AssertNonNullIfNonNull.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/nullness/qual/EnsuresKeyFor.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/nullness/qual/EnsuresKeyForIf.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/nullness/qual/EnsuresNonNull.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/nullness/qual/EnsuresNonNullIf.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/nullness/qual/KeyFor.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/nullness/qual/KeyForBottom.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/nullness/qual/MonotonicNonNull.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/nullness/qual/NonNull.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/nullness/qual/Nullable.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/nullness/qual/PolyKeyFor.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/nullness/qual/PolyNull.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/nullness/qual/RequiresNonNull.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/nullness/qual/UnknownKeyFor.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/optional/qual/MaybePresent.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/optional/qual/PolyPresent.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/optional/qual/Present.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/propkey/qual/PropertyKey.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/propkey/qual/PropertyKeyBottom.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/propkey/qual/UnknownPropertyKey.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/regex/RegexUtil.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/regex/qual/PartialRegex.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/regex/qual/PolyRegex.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/regex/qual/Regex.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/regex/qual/RegexBottom.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/regex/qual/UnknownRegex.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/signature/qual/BinaryName.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/signature/qual/BinaryNameInUnnamedPackage.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/signature/qual/ClassGetName.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/signature/qual/ClassGetSimpleName.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/signature/qual/DotSeparatedIdentifiers.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/signature/qual/FieldDescriptor.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/signature/qual/FieldDescriptorForPrimitive.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/signature/qual/FieldDescriptorForPrimitiveOrArrayInUnnamedPackage.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/signature/qual/FqBinaryName.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/signature/qual/FullyQualifiedName.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/signature/qual/Identifier.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/signature/qual/IdentifierOrArray.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/signature/qual/InternalForm.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/signature/qual/MethodDescriptor.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/signature/qual/PolySignature.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/signature/qual/SignatureBottom.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/signature/qual/SignatureUnknown.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/signedness/SignednessUtil.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/signedness/qual/PolySigned.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/signedness/qual/Signed.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/signedness/qual/SignedPositive.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/signedness/qual/SignednessBottom.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/signedness/qual/SignednessGlb.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/signedness/qual/UnknownSignedness.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/signedness/qual/Unsigned.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/tainting/qual/PolyTainted.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/tainting/qual/Tainted.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/tainting/qual/Untainted.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/units/UnitsTools.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/units/qual/A.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/units/qual/Acceleration.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/units/qual/Angle.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/units/qual/Area.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/units/qual/C.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/units/qual/Current.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/units/qual/K.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/units/qual/Length.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/units/qual/Luminance.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/units/qual/Mass.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/units/qual/MixedUnits.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/units/qual/PolyUnit.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/units/qual/Prefix.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/units/qual/Speed.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/units/qual/Substance.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/units/qual/Temperature.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/units/qual/Time.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/units/qual/UnitsBottom.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/units/qual/UnitsMultiple.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/units/qual/UnitsRelations.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/units/qual/UnknownUnits.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/units/qual/cd.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/units/qual/degrees.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/units/qual/g.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/units/qual/h.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/units/qual/kg.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/units/qual/km.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/units/qual/km2.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/units/qual/kmPERh.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/units/qual/m.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/units/qual/m2.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/units/qual/mPERs.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/units/qual/mPERs2.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/units/qual/min.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/units/qual/mm.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/units/qual/mm2.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/units/qual/mol.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/units/qual/radians.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/checker/units/qual/s.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/common/aliasing/qual/LeakedToResult.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/common/aliasing/qual/MaybeAliased.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/common/aliasing/qual/MaybeLeaked.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/common/aliasing/qual/NonLeaked.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/common/aliasing/qual/Unique.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/common/reflection/qual/ClassBound.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/common/reflection/qual/ClassVal.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/common/reflection/qual/ClassValBottom.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/common/reflection/qual/ForName.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/common/reflection/qual/GetClass.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/common/reflection/qual/GetConstructor.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/common/reflection/qual/GetMethod.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/common/reflection/qual/Invoke.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/common/reflection/qual/MethodVal.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/common/reflection/qual/MethodValBottom.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/common/reflection/qual/NewInstance.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/common/reflection/qual/UnknownClass.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/common/reflection/qual/UnknownMethod.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/common/subtyping/qual/Bottom.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/common/subtyping/qual/Unqualified.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/common/util/report/qual/ReportCall.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/common/util/report/qual/ReportCreation.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/common/util/report/qual/ReportInherit.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/common/util/report/qual/ReportOverride.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/common/util/report/qual/ReportReadWrite.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/common/util/report/qual/ReportUnqualified.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/common/util/report/qual/ReportUse.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/common/util/report/qual/ReportWrite.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/common/value/qual/ArrayLen.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/common/value/qual/ArrayLenRange.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/common/value/qual/BoolVal.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/common/value/qual/BottomVal.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/common/value/qual/DoubleVal.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/common/value/qual/EnsuresMinLenIf.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/common/value/qual/IntRange.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/common/value/qual/IntRangeFromGTENegativeOne.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/common/value/qual/IntRangeFromNonNegative.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/common/value/qual/IntRangeFromPositive.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/common/value/qual/IntVal.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/common/value/qual/MinLen.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/common/value/qual/MinLenFieldInvariant.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/common/value/qual/PolyValue.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/common/value/qual/StaticallyExecutable.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/common/value/qual/StringVal.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/common/value/qual/UnknownVal.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/dataflow/qual/Deterministic.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/dataflow/qual/Pure.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/dataflow/qual/SideEffectFree.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/dataflow/qual/TerminatesExecution.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/framework/qual/AnnotatedFor.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/framework/qual/CFComment.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/framework/qual/ConditionalPostconditionAnnotation.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/framework/qual/Covariant.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/framework/qual/DefaultFor.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/framework/qual/DefaultInUncheckedCodeFor.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/framework/qual/DefaultQualifier.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/framework/qual/DefaultQualifierForUse.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/framework/qual/DefaultQualifierInHierarchy.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/framework/qual/DefaultQualifierInHierarchyInUncheckedCode.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/framework/qual/DefaultQualifiers.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/framework/qual/EnsuresQualifier.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/framework/qual/EnsuresQualifierIf.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/framework/qual/EnsuresQualifiers.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/framework/qual/EnsuresQualifiersIf.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/framework/qual/FieldInvariant.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/framework/qual/FromByteCode.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/framework/qual/FromStubFile.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/framework/qual/IgnoreInWholeProgramInference.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/framework/qual/InheritedAnnotation.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/framework/qual/InvisibleQualifier.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/framework/qual/JavaExpression.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/framework/qual/LiteralKind.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/framework/qual/MonotonicQualifier.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/framework/qual/NoDefaultQualifierForUse.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/framework/qual/PolymorphicQualifier.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/framework/qual/PostconditionAnnotation.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/framework/qual/PreconditionAnnotation.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/framework/qual/QualifierArgument.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/framework/qual/QualifierForLiterals.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/framework/qual/RelevantJavaTypes.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/framework/qual/RequiresQualifier.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/framework/qual/RequiresQualifiers.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/framework/qual/StubFiles.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/framework/qual/SubtypeOf.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/framework/qual/TargetLocations.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/framework/qual/TypeKind.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/framework/qual/TypeUseLocation.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/framework/qual/Unused.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/framework/qual/UpperBoundFor.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/framework/qual/package-info.java > > checker-framework-java-3.2.0+ds/checker-qual/src/main/java/org/checkerframework/framework/util/PurityUnqualified.java > dpkg-source: error: aborting due to unexpected upstream changes, see > /tmp/checker-framework-java_3.2.0+ds-2.diff.HQjosG > dpkg-source: info: Hint: make sure the version in debian/changelog matches > the unpacked source tree > dpkg-source: info: you can integrate the local changes with dpkg-source > --commit > dpkg-buildpackage: error: dpkg-source -b . subprocess returned exit status 2 > > E: Command 'cd /<<PKGBUILDDIR>> && runuser -u user42 -- dpkg-buildpackage > --sanitize-env -us -uc -rfakeroot -S' failed to run. The full build log is available from: http://qa-logs.debian.net/2023/08/13/checker-framework-java_3.2.0+ds-2_unstable.log If you reassign this bug to another package, please mark it as 'affects'-ing this package. See https://www.debian.org/Bugs/server-control#affects If you fail to reproduce this, please provide a build log and diff it with mine so that we can identify if something relevant changed in the meantime.
