} catch(RuntimeException ex) {
log.error("Error while setting preference " + key + ": " + ex);
} finally {
ec.unlock();
}
ec.dispose();
NSNotificationCenter.defaultCenter().postNotification(PreferenceDidChangeNotification,
new NSDictionary(value, key));
}
public boolean booleanValueForKey(String key) {