"time_zone" attribute added to run_time setting in EN