anchor.diff:  
       if (document.getElementById('leftnav')!= null && currentLocation != null) {
           menuItems = document.getElementById('leftnav').getElementsByTagName('a');
  -        for(var i=0; i < menuItems.length; i++) {
  +        for(var i = 0; i < menuItems.length; i++) {
               if(menuItems[i].href == currentLocation) {
                   menuItems[i].className = 'selected';
                   return;
  
positive.code: <script language="javascript">
  function getCurrentSection(hrefString) {
      var arr = hrefString.split('/');
      contextPathString = '/' + arr[0];
      if (contextPathString == '<%= request.getContextPath() %>') {
          return arr[1];
      }
      return arr[0];
  }
  
  function setActiveMenu() {
  
negative.code:         }
          if (document.location.pathname != null) {
              currentSection = getCurrentSection(document.location.pathname);
              for(var i = 1; i < menuItems.length; i++) {
                  if(getCurrentSection(menuItems[i].pathname) == currentSection) {
                      menuItems[i].className = 'selected';
                      return;
                  }
  