} else { this.displayButtons = new AbstractButton[0]; }
} else this.displayButtons = new AbstractButton[0];
	public TopWindowManager(ManageableTopWindow window,			AbstractButton[]	displayButtons) 	{		if (window == null)	throw new NullPointerException("No window.");		this.window = window;		if (displayButtons != null) {			ArrayList actualButtons = new ArrayList(displayButtons.length);			for (int i = 0; i < displayButtons.length; ++i)				if (displayButtons[i] != null)					actualButtons.add(displayButtons[i]);			this.displayButtons = new AbstractButton[actualButtons.size()];			actualButtons.toArray(this.displayButtons);				} else {			this.displayButtons = new AbstractButton[0];		}		setInitialState();		attachWindowListeners();		attachButtonsListeners();	}