[DEECo] [d3scomp/JDEECo] 05319b: JPF reorganization

[GitHub]

  Branch: refs/heads/master
  Home:   https://github.com/d3scomp/JDEECo
  Commit: 05319b79b1656c4e4da9dead5ad1e2276fee3404
      https://github.com/d3scomp/JDEECo/commit/05319b79b1656c4e4da9dead5ad1e2276fee3404
  Author: Michal Kit <kit at d3s.mff.cuni.cz>
  Date:   2012-10-11 (Thu, 11 Oct 2012)

  Changed paths:
    M build.xml
    A jpf/bin/ant
    A jpf/bin/ant.bat
    A jpf/bin/javajpf
    A jpf/bin/jpf
    A jpf/bin/jpf.bat
    A jpf/bin/print_class
    A jpf/bin/print_class.bat
    A jpf/bin/test
    A jpf/bin/test.bat
    A jpf/build.properties
    A jpf/build/RunAnt.jar
    A jpf/build/RunJPF.jar
    A jpf/build/RunTest.jar
    A jpf/build/jpf-annotations.jar
    A jpf/build/jpf-classes.jar
    A jpf/build/jpf.jar
    A jpf/jpf.properties
    A jpf/lib/junit-4.10.jar

  Log Message:
  -----------
  JPF reorganization

Signed-off-by: Michal Kit <kit at d3s.mff.cuni.cz>