pluggable type systems

Since version 8, Java supports type qualifiers. Type qualifiers augment an existing type system to check more software properties. This Eclipse plug-in provides an interactive tool...