#691 Make -runproperties a merged header 

Done, also looked at many other headers


Signed-off-by: Peter Kriens <peter.kriens@aqute.biz>