HTMLTitleElement.java

// Generated by esidl 0.4.0.

package org.w3c.dom.html;

public interface HTMLTitleElement extends HTMLElement
{
    // HTMLTitleElement
    public String getText();
    public void setText(String text);
}