void (HTML.Tag t, MutableAttributeSet a, int pos) { String tagName = t.toString(); SimpleTextAttributes attributesByTag = myStyleTagHandler.calcAttributes(t, a); if (attributesByTag != null) { SimpleTextAttributes newAttributes = merge( attributesStack.peek(), attributesByTag); attributesStack.push(tagName, newAttributes); } }