[DEECo] [d3scomp/JDEECo] 829b2e: cleaning

[GitHub]

  Branch: refs/heads/master
  Home:   https://github.com/d3scomp/JDEECo
  Commit: 829b2e9c71e1a27caa634a4407d29ebe0c9bb1fe
      https://github.com/d3scomp/JDEECo/commit/829b2e9c71e1a27caa634a4407d29ebe0c9bb1fe
  Author: pparizek <parizek at d3s.mff.cuni.cz>
  Date:   2013-06-04 (Tue, 04 Jun 2013)

  Changed paths:
    M jdeeco-jpf/META-INF/MANIFEST.MF
    M jdeeco-jpf/src/cz/cuni/mff/d3s/deeco/jpf/JDEECoSchedulerFactory.java
    M jdeeco-jpf/src/cz/cuni/mff/d3s/deeco/knowledge/local/KnowledgeJPF.java
    M jdeeco-jpf/src/cz/cuni/mff/d3s/deeco/knowledge/local/LocalKnowledgeRepositoryJPF.java
    M jdeeco-jpf/src/cz/cuni/mff/d3s/deeco/ltl/AtomicProposition.java
    M jdeeco-jpf/src/cz/cuni/mff/d3s/deeco/ltl/LocalLauncherExampleJPF.java
    M jdeeco-jpf/src/cz/cuni/mff/d3s/deeco/scheduling/MultithreadedSchedulerJPF.java

  Log Message:
  -----------
  cleaning