package org.jmol.awtjs.swing;

public interface HTMLElement {

}