__CLOVER_33_0.S[12066]++;ChangeObserver observer = component.getPage().getChangeObserver();
__CLOVER_33_0.S[12067]++;if ((((observer == null) && (++__CLOVER_33_0.CT[2078] != 0)) || (++__CLOVER_33_0.CF[2078] == 0))){
__CLOVER_33_0.S[12068]++;return;}
__CLOVER_33_0.S[12069]++;ObservedChangeEvent event = new ObservedChangeEvent(component, propertyName, newValue);
__CLOVER_33_0.S[12070]++;observer.observeChange(event);
} finally { }}