Processing commands for control@bugs.debian.org: > tags 959832 + pending Bug #959832 [wnpp] ITP: checker-framework-java -- Framework that enhances Java’s type system to make it more powerful and useful Added tag(s) pending. > thanks Stopping processing here. Please contact me if you need assistance. -- 959832: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=959832 Debian Bug Tracking System Contact owner@bugs.debian.org with problems