Here you can find the source of nameOf(Element element)
public static HTML.Tag nameOf(Element element)
//package com.java2s; /**//from w ww. j av a 2 s . c om * Kuebiko - SwingHtmlUtil.java * Copyright 2011 Dave Huffman (dave dot huffman at me dot com). * Open source under the BSD 3-Clause License. */ import javax.swing.text.AttributeSet; import javax.swing.text.Element; import javax.swing.text.html.HTML; public class Main { public static HTML.Tag nameOf(Element element) { return (HTML.Tag) element.getAttributes().getAttribute(AttributeSet.NameAttribute); } }