if (!keys.isUnderline() && !keys.isLineThrough()) {
return super.removeAttributes(toModify, keys);
}
final MutableAttributeSet result = new SimpleAttributeSet(toModify);
result.removeAttributes(keys);
TextDecoration td =
(TextDecoration)result.getAttribute(Attribute.TEXT_DECORATION);
td = (TextDecoration)td.clone();
if (keys.isUnderline() && td.isUnderline()) {