Removed .properties files from the distributions, issue #892.