Setup
Bugs
Development
Learning fails when the option outputSourcesOfGeneratedJarFiles is set to true due to a bug, possibly in in the sut_uppaal2jar script.
