package javajs.api;

public interface HTMLElement {

}