[DEECo] [d3scomp/JDEECo] a8a9de: renaming

[GitHub]

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

  Changed paths:
    M jdeeco-demo/build.xml
    M jdeeco-demo/jpfProperties/LocalLauncherConvoyLTL.jpf
    M jdeeco-jpf/src/cz/cuni/mff/d3s/deeco/knowledge/local/LocalKnowledgeRepositoryJPF.java

  Log Message:
  -----------
  renaming