Bug 192362 Propertiy Editor will not refresh when use Page->MasterPage->Simple MasterPage to go to Master Page tab [05]
Description: Propertiy Editor will not refresh when use Page->MasterPage->Simple MasterPage to go to Master Page tab. Build number: 2.2.0.v20070613-1211 Steps to reproduce: 1. Open a report. 2. Use top menu Page->Master Page->Simple Master Page. Expected result: Change to MasterPage tab and Property Editor refreshed. Actual result: Change to MasterPage tab and Property Editor did not refresh. Error log: N/A
UI/org.eclipse.birt.report.designer.ui/src/org/eclipse/birt/report/designer/internal/ui/util/UIUtil.java
*            the handle module
	 * @param libraryHandle
	 *            the library to include.
	 * @return true if it included successfully, or false if the operation
	 *         failed.
	 */
	public static boolean includeLibrary( ModuleHandle moduleHandle,
			LibraryHandle libraryHandle ) throws DesignFileException,
			SemanticException
	{
		if ( moduleHandle != libraryHandle
				&& !moduleHandle.isInclude( libraryHandle ) )
		{
			return includeLibrary( moduleHandle, libraryHandle.getFileName( ) );
		}
		return true;
	}
	/**
	 * Includes the library into within the current module.
	 * 
	 * @param libraryHandle
	 *            the library to include.
	 * @return true if it included successfully, or false if the operation
	 *         failed.
	 */
	public static boolean includeLibrary( LibraryHandle libraryHandle )
			throws DesignFileException, SemanticException
	{
		return includeLibrary( SessionHandleAdapter.getInstance( )
				.getReportDesignHandle( ), libraryHandle );