void resize(vWindow win, int w, int h) {
public void resize(vWindow win, int w, int h) {
void resize(vWindow win, int w, int h) {    if (width != w || height != h) {	boolean b = f.isResizable();	f.setResizable(true);	this.setSize(width = w, height = h);	// alter size	f.pack();				// alter size of enclosing frame	f.setResizable(b);    }    int iw = i.getWidth(null);    int ih = i.getHeight(null);    if (iw >= w && ih >= h) {	return;					// image is large enough    }    if (iw < w) { iw = w; }    if (ih < h) { ih = h; }    Image inew = this.createImage(iw, ih);    Graphics g = inew.getGraphics();    // install new graphics context in each associated window    for (int j = 0; j < wlist.size(); j++) {	((vWindow) wlist.elementAt(j)).newgcb(g);    }    // g has been cloned for use with each window    // we can now use it without affecting anything else    // clear the new image, then copy in the old portion    if (win == null) {	// we don't know which Icon graphics context to use, because the	// window was resized via the mouse;  so, just use the firstj	win = (vWindow) wlist.elementAt(0);	    }    g.setColor(win.getBg());    g.fillRect(0, 0, iw, ih);    g.drawImage(i, 0, 0, null);    // out with the old, in with the new    g.dispose();    i.flush();    i = inew;}