romanman 685fa48a6b Memory leak fix: ... + cause of the memory leak was not closing file writer for the state dump		2014-07-14 22:01:14 +03:00
..
src	Memory leak fix:	2014-07-14 22:01:14 +03:00
TODO.md	minor fix for last commit	2014-07-10 14:39:48 +03:00
pom.xml	Switch from Cobertura to JaCoCo	2014-07-02 13:13:20 +02:00