}
/**
- * Removes duplicate attributes from a DOM tree.
+ * Removes duplicate attributes from a DOM tree.This is useful for postprocessing the
+ * output of JTidy as a workaround for a bug in JTidy.
*
* @param aNode
* Node to remove duplicate attributes from (recursively).