RecordTimer.py,RecordingConfig.py,setup.xml: *add possibility to change the default...