Method diff

android/src/org/coolreader/crengine/Properties.java:104–114

(Properties oldValue)

	}

	synchronized public Properties diff(Properties oldValue) {
		Properties res = new Properties();
		for (Map.Entry<Object, Object> entry : entrySet()) {
			if (!oldValue.containsKey(entry.getKey())
					|| !eq(entry.getValue(), oldValue.get(entry.getKey()))) {
				res.setProperty((String) entry.getKey(),
						(String) entry.getValue());
			}
		}
		return res;
	}

	@Override
	synchronized public String getProperty(String name, String defaultValue) {