libraryHandle.getThemes().add(defaultcopy); libraryHandle.getThemes().add(theme1copy);
defaultcopy1.setName("defaultTheme1"); theme1copy1.setName("theme11"); libraryHandle.getThemes().add(defaultcopy1); libraryHandle.getThemes().add(theme1copy1);
    	  public void testCopyPasteTheme() throws Exception        {    	    openLibrary(LibC);    	    ThemeHandle defaulttheme = libraryHandle.findTheme("defaultTheme");    	    ThemeHandle theme1 = libraryHandle.findTheme("theme1");    	    assertNotNull(defaulttheme);    	    assertNotNull(theme1);    	    ThemeHandle defaultcopy = ((Theme)defaulttheme.copy()).handle(libraryHandle.getModule());    	    ThemeHandle theme1copy = ((Theme)theme1.copy()).handle(libraryHandle.getModule());    	       	    try    	    {    	    	libraryHandle.getThemes().add(defaultcopy);    	    	fail();    	    }    	    catch(NameException e)    	    {    	    	assertNotNull(e);    	    }    	        	    defaultcopy.setName("defaultTheme1");    	    theme1copy.setName("theme11");    	        	    libraryHandle.getThemes().add(defaultcopy);    	    libraryHandle.getThemes().add(theme1copy);    	    assertEquals("defaultTheme1",libraryHandle.getThemes().get(2).getName());    	    assertEquals("theme11",libraryHandle.getThemes().get(3).getName());    	        	    //paste themes to another library    	    openLibrary(LibB);    	    libraryHandle.getThemes().add(defaultcopy);    	    libraryHandle.getThemes().add(theme1copy);    	    assertEquals("defaultTheme1",libraryHandle.getThemes().get(2).getName());    	    assertEquals("theme11",libraryHandle.getThemes().get(3).getName());    	            }