Merge pull request #300 from CROSSINGTUD/release/stable-2.7.2

CryptoAnalysis-Android/pom.xml

CryptoAnalysis/pom.xml

...is/src/main/java/crypto/constraints/ConstraintSolver.java

...s/src/main/java/crypto/cryslhandler/CrySLModelReader.java

...alysis/src/main/java/crypto/rules/CrySLCondPredicate.java

...nalysis/src/test/java/tests/headless/BragaCryptoTest.java

pom.xml