Merge branch 'cleanTupleToolTISTOS' into '2016-patches'
Remove overwriting of properties, requires to configure the tools separately
See merge request !158 (merged)
Remove overwriting of properties, requires to configure the tools separately
See merge request !158 (merged)