Bugfixes in Convoy demo for testing LTL+JPF, refactoring
Logging exceptions of Atomic proposition evaluation.
JPF scheduler takes max number of process iterations in its constructor.