anchor.diff:                              <td>&nbsp;</td>
                           </tr>
                           </table>
  -                            <script language="JavaScript">
  +                            <script language="JavaScript" type="text/javascript">
                                   <!--
                                   document.loginForm.username.focus();
                                   //-->
  
positive.code:             }
          }
      }
      static final String go(String url) {
          if (url == null) {
              return "index.jsp";
          }
  
negative.code:     String url = ParamUtils.getParameter(request,"url");
  
      // The user auth token:
      AuthToken authToken;
  
      // Check the request/response for a login token
      
  