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: </thead>
  <tbody>
  
  <%
  	// If only the admin plugin is installed, show "none".
      if (plugins.size() == 1) {
  %>
      <tr>
          <td align="center" colspan="7"><fmt:message key="plugin.admin.no_plugin" /></td>
  