Save selected files in a property file.

Also use a more non-intrusive message, when formatting is done.