Minor polishing.

src/cz/cuni/mff/d3s/deeco/knowledge/local/LocalKnowledgeRepository.java

@@ -30,7 +30,7 @@
  * 
  * It uses a big global lock to protect a sessions. Thus it serializes all sessions working on the repository
  * (for the whole duration of the session). This means that with the current implementation, there is no benefit
- * on multicores. This repository is thus aimed to be used with single-threaded scheduling (e.g. for JPF checking).  
+ * on multicores. This repository is thus aimed to be used e.g. for JPF-based verification.  
  * 
  * @author Tomas Bures
  *

src/cz/cuni/mff/d3s/deeco/knowledge/local/LocalSession.java

@@ -10,26 +10,22 @@ class LocalSession implements ISession {
 
 	LocalSession(LocalKnowledgeRepository kr) {
 		this.kr = kr;
-		System.out.println("New local session " + this);
 	}
 
 	@Override
 	public void begin() {
-		System.out.println("About to lock local session " + this);
 		kr.lock.lock();
 	}
 
 	@Override
 	public void end() throws SessionException {
 		kr.lock.unlock();
-		System.out.println("Unlocked local session " + this);
 		succeeded = true;
 	}
 
 	@Override
 	public void cancel() throws SessionException {
 		kr.lock.unlock();
-		System.out.println("Cancelled local session " + this);
 	}
 
 	@Override