Update platform.properties
Merge pull request #879 from karlmortensen/format_a_file_test

Update platform.properties