fDb.ext().set(preference, Integer.MAX_VALUE);
else {
update = true;
if (savedPreference.getType() != preference.getType()) {
throw new PersistenceException("Trying to replace an existing " + //$NON-NLS-1$
"preference with a preference of a different type"); //$NON-NLS-1$
}
fDb.delete(savedPreference);
fDb.ext().set(preference, Integer.MAX_VALUE);
}