Merge pull request #849 from MarcMil/extensible

Kotlin collections are not complete

Author: StevenArzt

soot-infoflow-summaries/summariesManual/kotlin.collections.CollectionsKt.xml

@@ -1,4 +1,4 @@
 <?xml version="1.0" ?>
-<summary fileFormatVersion="101" isExclusive="true">
+<summary fileFormatVersion="101" isExclusive="false">
     <hierarchy superClass="kotlin.collections.CollectionsKt___CollectionsKt" />
 </summary>

soot-infoflow-summaries/summariesManual/kotlin.collections.CollectionsKt___CollectionsKt.xml

@@ -1,5 +1,5 @@
 <?xml version="1.0" ?>
-<summary fileFormatVersion="101" isExclusive="true">
+<summary fileFormatVersion="101" isExclusive="false">
     <methods>
         <method id="java.lang.String joinToString$default(java.lang.Iterable,java.lang.CharSequence,java.lang.CharSequence,java.lang.CharSequence,int,java.lang.CharSequence,kotlin.jvm.functions.Function1,int,java.lang.Object)">
             <flows>