Code review comment for lp:~ptaank/tapaal/run-multiple-queries-

Batch processing didn't start because of a Null Pointer Exception which is now handled.

Monitor, Net now shows the current tabname instead of the name of the tempfile