[DEECo] [d3scomp/JDEECo] acf23c: better configuration of JPF-LTL

[GitHub]

  Branch: refs/heads/master
  Home:   https://github.com/d3scomp/JDEECo
  Commit: acf23cefb818498a16af481f2a8f946e8282f970
      https://github.com/d3scomp/JDEECo/commit/acf23cefb818498a16af481f2a8f946e8282f970
  Author: pparizek <parizek at d3s.mff.cuni.cz>
  Date:   2013-07-09 (Tue, 09 Jul 2013)

  Changed paths:
    M jdeeco-demo/jpfProperties/LocalLauncherConvoyLTL.jpf

  Log Message:
  -----------
  better configuration of JPF-LTL