Mangle the names of user defined attributes of the classes, in order
to ensure that every name is unique. Default is true, and it should
not be turned off unless you know what you are doing.