Plume-lib Util: Utility libraries for Java

See the API documentation.

Editing your buildfile

You can obtain the plume-util library from Maven Central.

In a Gradle buildfile, write

dependencies {
  implementation("org.plumelib:plume-util:1.14.0")
}

Other build systems are similar.