// Try to add annotations from different packages that have the same
// name.  Results should be the same whether _abbreviate_ is set to true
// or to false.
class Abbreviation {
  public Abbreviation(@org.checkerframework.checker.tainting.qual.Tainted Object o) {
  }
}