689690691692693694695696697698699
p.setRuleSet(ruleSetDescriptor); if (buttonResetError.getSelection()) { p.setLastError(0, null); } p.endUpdate(); } profileManager.save(); return true; //FIXME: return false if failed }