[DEECo] [d3scomp/JDEECo] f1f959: jpf-ltl update

[GitHub]

  Branch: refs/heads/master
  Home:   https://github.com/d3scomp/JDEECo
  Commit: f1f95998a639ef97a7c4bfc4c7e032432e8f046d
      https://github.com/d3scomp/JDEECo/commit/f1f95998a639ef97a7c4bfc4c7e032432e8f046d
  Author: Michał Kit <kit at d3s.mff.cuni.cz>
  Date:   2013-06-04 (Tue, 04 Jun 2013)

  Changed paths:
    M jdeeco-jpf/pom.xml

  Log Message:
  -----------
  jpf-ltl update