I added a new method to the class, cloneWithEliminationIfEqual(). This is used in the style handling, to ensure that if a user applies a style and then changes manually a propery that was part of the style definition, then when removing the style formatting, we preserve the manual setting of that particular property.
Tomas files: pp_AttrProp.h/cpp, pt_Varset.cpp
