import java.awt.*; 
import java.net.*; 

/**
   URL-Button
   @author Benedikt Großer, Holger Arndt
   @version 26.05.2003
*/
class URLButton extends Button
{ 
  private URL url; 

  public URLButton(String aufdruck, URL url)
  { 
    super(aufdruck);
    this.url = url; 
  }

  public URL getURL() { return url; } 
}