[DEECo] [d3scomp/JDEECo] 41ea2b: Minor polishing.

[GitHub]

  Branch: refs/heads/master
  Home:   https://github.com/d3scomp/JDEECo
  Commit: 41ea2b8fb9e435ef75ebd1babf8d0519047945a1
      https://github.com/d3scomp/JDEECo/commit/41ea2b8fb9e435ef75ebd1babf8d0519047945a1
  Author: bures <bures at d3s.mff.cuni.cz>
  Date:   2012-05-29 (Tue, 29 May 2012)

  Changed paths:
    M src/cz/cuni/mff/d3s/deeco/knowledge/local/LocalKnowledgeRepository.java
    M src/cz/cuni/mff/d3s/deeco/knowledge/local/LocalSession.java

  Log Message:
  -----------
  Minor polishing.