public synchronized void makeimages ()
	// create images and repaint, if ActiveImage is invalid.
	// uses parameters from the BoardInterface for coordinate layout.
	{
		Dim = getSize();
		boolean c = GF.getParameter("coordinates", true);
		boolean ulc = GF.getParameter("upperleftcoordinates", true);
		boolean lrc = GF.getParameter("lowerrightcoordinates", false);
		D = Dim.height / (S + 1 + (c?(ulc?1:0) + (lrc?1:0):0));
		OP = D / 4;
		O = D / 2 + OP;
		W = S * D + 2 * O;
		if (c)
		{
			if (lrc)
				OT = D;
			else OT = 0;
			if (ulc)
				OTU = D;
			else OTU = 0;
		}
		else OT = OTU = 0;
		W += OTU + OT;
		if ( !GF.boardShowing()) return;
		// create image and paint empty board
		synchronized (this)
		{
			Empty = createImage(W, W);
			EmptyShadow = createImage(W, W);
		}
		emptypaint();
		ActiveImage = createImage(W, W);
		// update the emtpy board
		updateall();
		repaint();
	}