Bug#1035706: ITP: plume-util-java -- Plume-lib utility libraries for Java

[Olek Wojnar <olek@debian.org>]

Package: wnpp
Severity: wishlist
Owner: Olek Wojnar <olek@debian.org>
X-Debbugs-Cc: debian-devel@lists.debian.org

* Package name    : plume-util-java
  Version         : 1.1.0
  Upstream Author : Michael Ernst <mernst@cs.washington.edu>
* URL             : https://github.com/plume-lib/plume-util
* License         : MIT
  Programming Lang: Java
  Description     : Plume-lib utility libraries for Java

 Various Java utility libraries from the plume-lib project. These include:
 collections and iterators, text processing, math, random selection,
 determinism and immutability, utility interfaces, and the JVM runtime system.

This package is needed to build the full Checker Framework package which is
in turn needed for Bazel version 5.