Merge branch 'master' into feature/disjoint-union-size

Author: DenizAltunkapan

pom.xml

@@ -128,7 +128,7 @@
                         <plugin>
                             <groupId>com.mebigfatguy.fb-contrib</groupId>
                             <artifactId>fb-contrib</artifactId>
-                            <version>7.6.13</version>
+                            <version>7.6.14</version>
                         </plugin>
                         <plugin>
                             <groupId>com.h3xstream.findsecbugs</groupId>