Version 1.9.0

CHANGELOG.md

@@ -19,7 +19,6 @@
    * deprecated `listFilter()`; use `filter()` instead
 - `ArraysPlume`:
    * deprecated `noDuplicates()`; use `hasNoDuplicates()` instead
-- Tested under Java 21.
 
 ## 1.8.1 (2023-06-02)
 

README.md

@@ -11,8 +11,8 @@ In a Gradle buildfile, write
 
 ```
 dependencies {
-  implementation 'org.plumelib:plume-util:1.8.1'
+  implementation 'org.plumelib:plume-util:1.9.0'
 }
 ```
 
-Other build systems are [similar](https://search.maven.org/artifact/org.plumelib/plume-util/1.8.1/jar).
+Other build systems are [similar](https://search.maven.org/artifact/org.plumelib/plume-util/1.9.0/jar).

gradle/mavencentral.gradle

@@ -4,26 +4,33 @@
 //     ossrhPassword=YOUR_PASSWORD_HERE
 
 // To make a release (run on any filesystem, except the last step):
-//  * Make a local snapshot release and test it on some clients,
-//    such as both the Checker Framework and Daikon.
+//  * Make a snapshot release to Maven Central and test it on some clients:
+//     * Set "version" below.
+//     * ...
+//     * In the clients' build.gradle: set version number and use ...
+//    For the Checker Framework:
+//     * usecf THE-BRANCH-THAT-USES-THE-SNAPSHOT
+//     * checker/bin-devel/test-cftests-all.sh && checker/bin-devel/test-typecheck.sh && checker/bin-devel/test-plume-lib.sh
+//    For Daikon: make compile junit test
 //  * git pull
-//  * In ../build.gradle, ensure that "To use a snapshot version" is not enabled.
+//  * In ../build.gradle, ensure that "To use a specific version" is not enabled.
 //  * Update the version number in ../README.md and in this file (multiple times in each).
 //    Ensure the version number in this file does not contain "-SNAPSHOT".
 //  * Update ../CHANGELOG.md .
 //  * Save files and stage changes.
 //  * Run in the top-level directory:  ./gradlew clean publish
 //  * Browse to https://oss.sonatype.org/#stagingRepositories, complete the Maven Central release.
 //  * Add a git tag:
-//    VER=1.8.1 && git commit -m "Version $VER" && git push && git tag -a v$VER -m "Version $VER" && git push && git push --tags
-//  * Make a GitHub release. Go to the GitHub releases page, make a release, call it "plume-util 1.8.1", use the text from ../CHANGELOG.md as the description, attach the .jar and -all.jar files from ../build/libs/ .
+//    VER=1.9.0 && git commit -m "Version $VER" && git push && git tag -a v$VER -m "Version $VER" && git push && git push --tags
+//  * Make a GitHub release. Go to the GitHub releases page, make a release, call it "plume-util 1.9.0", use the text from ../CHANGELOG.md as the description, attach the .jar and -all.jar files from ../build/libs/ .
 //  * Finally, run on the CSE filesystem:  git pull && ./gradlew javadocWeb
+//  * Update clients and test, so that if it's broken we can re-release.
 
 apply plugin: 'maven-publish'
 apply plugin: 'signing'
 
 group 'org.plumelib'
-version '1.8.1'
+version '1.9.0'
 
 final isSnapshot = version.contains('SNAPSHOT')