long timestamp = srcFile.lastModified();
if (timestamp == 0 || timestamp == settingsFileTimestamp)
return;
Properties nullProps = new Properties();
FileProperties newProps = new FileProperties(nullProps, nullProps);
try {
FileInputStream in = new FileInputStream(srcFile);
newProps.load(in);
in.close();
} catch (Exception e) {
return;
}
Set<String> keysToDelete = new HashSet(fsettings.keySet());
for (Map.Entry e : newProps.entrySet()) {
// look at each key in the settings file
String key = (String) e.getKey();
keysToDelete.remove(key);
// do not override values that have been set from a system propery.