* @param newPreferences the new preferences to populate the profile with
*/
public void setPreferences(OperaPreferences newPreferences) {
if (!(newPreferences instanceof OperaFilePreferences)) {
OperaFilePreferences convertedPreferences = new OperaFilePreferences(preferenceFile);
convertedPreferences.merge(newPreferences);
preferences = convertedPreferences;
} else {
preferences = newPreferences;
}
}