001    package org.util.xml.renderer.html2;
002    
003    
004    import java.util.*;
005    import java.io.*;
006    import java.net.*;
007    import java.awt.*;
008    import java.awt.event.*;
009    import javax.swing.*;
010    import javax.swing.event.*;
011    
012    public class HTMLDocument {
013    
014        private URL url_;
015        public HTMLDocument() {
016        }
017        public void setDocumentBase(URL url) {
018            url_ = url;
019        }
020        public URL getDocumentBase() {
021            return url_;
022        }
023    }