[jalviewjs.git] / src / javajs / api / HTMLElement.java

package javajs.api;

public interface HTMLElement {

}