2 Commits

Author	SHA1	Message	Date
Arthur Baars	1485f7c876	Java: model some new Set,List,Map methods ... Models the taint propagation for the copyOf(..), of(..), ofEntries(..) and entry(..) methods	2020-07-03 17:14:53 +02:00
Arthur Baars	5f2a5f1b55	Java: Collections: add tests	2020-07-02 19:18:02 +02:00