@Override
	public void setLayout(LayoutManager mgr) {
		if (mgr instanceof DockLayout) {
			super.setLayout(mgr);
		} else {
			throw new IllegalArgumentException("Must use a DockLayout."); //$NON-NLS-1$
		}
	}