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

package javajs.api;\r
\r
public interface HTMLElement {\r
\r
}\r