anchor.diff:      for (int i=0; i<plugins.size(); i++) {
           Plugin plugin = plugins.get(i);
           String dirName = pluginManager.getPluginDirectory(plugin).getName();
  +        // Skip the admin plugin.
           if (!"admin".equals(dirName)) {
               String pluginName = pluginManager.getName(plugin);
               String pluginDescription = pluginManager.getDescription(plugin);
  
positive.code: 	        <td width="1%">
  	            <%= i+1 %>
  	        </td>
  	        <td width="20%">
  	            <%= (pluginName != null ? pluginName : dirName) %> &nbsp;
  	        </td>
  	        <td width="60%">
  
negative.code:             pluginJar = new File(pluginDir.getParent(), pluginDir.getName() + ".war");
          }
          pluginJar.delete();
          pluginManager.unloadPlugin(pluginDir.getName());
          response.sendRedirect("plugin-admin.jsp?deletesuccess=true");
          return;
  	}
  