import javax.swing.*;
/**
 * subclass of JFrame that can double in size.
 */
public class DoublingWindow extends JFrame {

  /**
   * double the width and the height of
   * this window.
   */
    public void doubleSize() {
 setSize(2 * getWidth(), 2 * getHeight());
    }
}