Properties in a file