.openLibrary( file.getAbsolutePath( ) ) );
.openLibrary( file.getAbsolutePath( ) ); Object[] rtns = super.getChildren( library ); library.close( ); return rtns;
	public Object[] getChildren( Object parentElement )	{		if ( parentElement instanceof File )		{			File file = (File) parentElement;			if ( !file.exists( ) )			{				return new Object[]{					Messages.getString("LibraryExplorerProvider.FolderNotExist") //$NON-NLS-1$				};			}			if ( file.isDirectory( ) )			{				File[] children = file.listFiles( filter );				List folderList = new ArrayList( );				List fileList = new ArrayList( );				for ( int i = 0; i < children.length; i++ )				{					if ( children[i].isDirectory( ) )					{						folderList.add( children[i] );					}					else					{						fileList.add( children[i] );					}				}				folderList.addAll( fileList );				return folderList.toArray( );			}			else			{				try				{					return super.getChildren( SessionHandleAdapter.getInstance( )							.getSessionHandle( )							.openLibrary( file.getAbsolutePath( ) ) );				}				catch ( DesignFileException e )				{				}			}		}		return super.getChildren( parentElement );	}