After consulting with the JLS team, it has been decided it is preferable to use terminology like "union type" to describe the type of a multi-catch parameter rather than "disjunctive type." This requires renaming several API components in javax.lang.model.