[DEECo] [d3scomp/JDEECo] df3913: Bump junit from 4.11 to 4.13.1 in /jdeeco-ensemble...

[dependabot[bot]]

  Branch: refs/heads/dependabot/maven/jdeeco-ensembles-intelligent-z3/junit-junit-4.13.1
  Home:   https://github.com/d3scomp/JDEECo
  Commit: df391332f180457574657b4423855461adea428a
      https://github.com/d3scomp/JDEECo/commit/df391332f180457574657b4423855461adea428a
  Author: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
  Date:   2020-10-12 (Mon, 12 Oct 2020)

  Changed paths:
    M jdeeco-ensembles-intelligent-z3/pom.xml

  Log Message:
  -----------
  Bump junit from 4.11 to 4.13.1 in /jdeeco-ensembles-intelligent-z3

Bumps [junit](https://github.com/junit-team/junit4) from 4.11 to 4.13.1.
- [Release notes](https://github.com/junit-team/junit4/releases)
- [Changelog](https://github.com/junit-team/junit4/blob/main/doc/ReleaseNotes4.11.md)
- [Commits](https://github.com/junit-team/junit4/compare/r4.11...r4.13.1)

Signed-off-by: dependabot[bot] <support at github.com>