return super.getDimensionProperty( SimpleMasterPage.HEADER_HEIGHT_PROP );
return super.getDimensionProperty( ISimpleMasterPageModel.HEADER_HEIGHT_PROP );
	public DimensionHandle getHeaderHeight( )	{		return super.getDimensionProperty( SimpleMasterPage.HEADER_HEIGHT_PROP );	}