Update CrySL version to 4.0.2

Author: smeyer198

pom.xml

@@ -60,7 +60,7 @@
 
         <spds.version>4.0.0</spds.version>
         <soot.version>4.6.0</soot.version>
-        <crysl.version>4.0.1</crysl.version>
+        <crysl.version>4.0.2</crysl.version>
     </properties>
 
     <dependencyManagement>