Code review comment for lp:~yrke/tapaal/tapaal-fix-1756865

The proposal to merge for 3.4 suggests to merge a new feature that should be only
in trunk and not in 3.4. Otherwise it works and on my mac with Java 9 it is usable
(though not pretty). I get the following warnings though, but not related to this fix.

WARNING: An illegal reflective access operation has occurred
WARNING: Illegal reflective access by dk.aau.cs.util.MemoryMonitor (file:/Users/srba/dev/tapaal-fix-1756865/release-version/) to field java.lang.ProcessImpl.pid
WARNING: Please consider reporting this to the maintainers of dk.aau.cs.util.MemoryMonitor
WARNING: Use --illegal-access=warn to enable warnings of further illegal reflective access operations
WARNING: All illegal access operations will be denied in a future release