Developer's manual to the Java HTML class library to create, edit, extract data & convert HTML pages to PDF, XPS, Images and other formats....String getArchive () Space-separated list of archives. java.lang...lang.String value) Space-separated list of archives. void setBorder...