JavaDoc PropertiesFile