Partial implementation of FileProperty (and test for it)