Your message dated Thu, 09 Nov 2023 05:34:10 +0000
with message-id <e1r0xga-007nw1...@fasolo.debian.org>
and subject line Bug#1043754: fixed in checker-framework-java 3.2.0+ds-3
has caused the Debian Bug report #1043754,
regarding checker-framework-java: Fails to build source after successful build
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact ow...@bugs.debian.org
immediately.)
--
1043754: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1043754
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Source: checker-framework-java
Version: 3.2.0+ds-2
Severity: minor
Tags: trixie sid ftbfs
User: lu...@debian.org
Usertags: ftbfs-sab-20230813 ftbfs-source-after-build
User: debian...@lists.debian.org
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 <o...@debian.org>
> 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.
--- End Message ---
--- Begin Message ---
Source: checker-framework-java
Source-Version: 3.2.0+ds-3
Done: tony mancill <tmanc...@debian.org>
We believe that the bug you reported is fixed in the latest version of
checker-framework-java, which is due to be installed in the Debian FTP archive.
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to 1043...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
tony mancill <tmanc...@debian.org> (supplier of updated checker-framework-java
package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmas...@ftp-master.debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Wed, 08 Nov 2023 21:12:11 -0800
Source: checker-framework-java
Architecture: source
Version: 3.2.0+ds-3
Distribution: unstable
Urgency: medium
Maintainer: Debian Java Maintainers
<pkg-java-maintain...@lists.alioth.debian.org>
Changed-By: tony mancill <tmanc...@debian.org>
Closes: 1043754 1052474
Changes:
checker-framework-java (3.2.0+ds-3) unstable; urgency=medium
.
* Team upload
[ Pushkar Kulkarni ]
* Fix javac-21 compiler warnings (Closes: #1052474)
.
[ tony mancill ]
* Fix FTBFS twice in a row (Closes: #1043754)
Checksums-Sha1:
59002a05f213846047548f9bd4210fb72ec6c5d9 2312
checker-framework-java_3.2.0+ds-3.dsc
ae43c0901570cc68c307f3c071b0c59ffe04b64c 14648
checker-framework-java_3.2.0+ds-3.debian.tar.xz
cc75e776b95e159ac490d321cf5b472654d832e3 13542
checker-framework-java_3.2.0+ds-3_amd64.buildinfo
Checksums-Sha256:
500fb231b0bcc844876b2f152e99102066dc46ca843d5df6818537ecf177bbb9 2312
checker-framework-java_3.2.0+ds-3.dsc
8a863ffac6e8cb7058d745012c8f1fbd3fd30ff7247f4da427daa63d590704bf 14648
checker-framework-java_3.2.0+ds-3.debian.tar.xz
673821d4efbe8e516ce586736093aecc21434d0a42d23295b365045f73730a32 13542
checker-framework-java_3.2.0+ds-3_amd64.buildinfo
Files:
c8386690315aca29319fe211ce867321 2312 java optional
checker-framework-java_3.2.0+ds-3.dsc
fa33e1e0fceb91274035e5d3e9c13569 14648 java optional
checker-framework-java_3.2.0+ds-3.debian.tar.xz
daebabcd24adee6b964c7d19d92af329 13542 java optional
checker-framework-java_3.2.0+ds-3_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJIBAEBCgAyFiEE5Qr9Va3SequXFjqLIdIFiZdLPpYFAmVMawAUHHRtYW5jaWxs
QGRlYmlhbi5vcmcACgkQIdIFiZdLPpZeBA//WUQIXnFy2BCBgl6yBZDR30S3BsUw
MC4v6B9nvg+eZC+k19C+abRcRLRkD3xYQkGs+c1cD4Ppkk+L1Ug6hTdJc0Mb17rx
tIDelU7h/s86SOpG00EaJKnoK9jw2rnPWdkPBpMul/B1NT2wKjCAlEUsNLSZ4zh3
CXw0if1gTprx2nx4W0MYRO/HFuw3OBb+WNZow6tyW0MJUMbWoXCuOyts/lnbiRp+
2i8FTkOWtBrNLxwcDrMC/6ld7Qn7CacRj2T9faijpPYHreAhuxbuOsQPmCaZ+hHV
pxrFVoH5mdKCWE4RUnPKnUgp84681UkL1qfvMDarFcdCUQU97370Ean5AdgB7VTi
w7c2y6wl0GuNxsogVJ1j7kj1bU5/voSFTTYR38so95yx9dBRjd0kpGvzldVbnO9G
XO5U2aNAVqOGBHyRDkMHWuHUnUvbBbax6Cs3rHpMK01vPbQ/89P8GDKEHKgWqGKw
v+xFJ/5/CHpDxob4ca/JX5zuuW2LDap82tT4kzXqTgCSl3wnwTXUqaMmXl4NK6ly
J8j1FGbR9PK2cHjwi/XyHJ62yteJS9raitT+mlHRei/Sey9KlsN+O5RPgdCARRpA
N9e/2SJkOi3QWU4hs5OeTFvgNXh/4a0hA1UYOLUZP/QWonNs0N+rXCnZWAkHax8m
iBv59cKKEulUI5c=
=W5wD
-----END PGP SIGNATURE-----
--- End Message ---
__
This is the maintainer address of Debian's Java team
<https://alioth-lists.debian.net/cgi-bin/mailman/listinfo/pkg-java-maintainers>.
Please use
debian-j...@lists.debian.org for discussions and questions.
