if ( library == null ) return;
	public void shiftLibrary( LibraryHandle library, int toPosn )			throws SemanticException	{		ShiftLibraryCommand command = new ShiftLibraryCommand( module );		command.shiftLibrary( (Library) library.getElement( ), toPosn );	}