Can use stable version of HTML for Java APIs