Files
openide/java/jdkAnnotations
Tagir Valeev ce8f444bb6 Annotations for java.util.Collections
Removed -> new contracts for checked* and synchronized* because derived collections should not be considered local (see ContractReturnValue.NEW_VALUE.getDfaValue), as their size could be changed from another object (well, there's a hole in our model)

GitOrigin-RevId: f64ef63612d4ae4fdc45d130d4f461f8cc0a6560
2021-03-22 07:11:05 +00:00
..