Few changes to Russian translation.Improved format_properties.py tool so it can be run
several times on the same file.