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 }