ZK and Spring Security integration- questions

   ...
   public void onClick$btnEdit(Event event) {

          // "btnEdit" is a RIGHT
      if ( isAllowed("btnEdit")) {

           doEdit();

       } else {
         
         Executions.sendRedirect("/LoginDialog.zul");
         
        }
      }

  ...

	/**
	 * Checks if a right is in the <b>granted rights</b> that the logged in user
	 * have. <br>
	 * 
	 * @param rightName
	 * @return true, if the right is in the granted user rights.<br>
	 *         false, if the right is not granted to the user.<br>
	 */
	public boolean isAllowed(String rightName) {
		return getGrantedAuthoritySet().contains(rightName);
	}

   ...


	/**
	 * Copied the grantedAuthorities to a Set of strings <br>
	 * for a faster searching in it.
	 * 
	 * @return String set of GrantedAuthorities (rightNames)
	 */
	private Set<String> getGrantedAuthoritySet() {

		if (grantedAuthoritySet == null) {

			GrantedAuthority[] list = getAuthentication().getAuthorities();
			grantedAuthoritySet = new HashSet<String>(list.length);

			for (GrantedAuthority grantedAuthority : list) {
				grantedAuthoritySet.add(grantedAuthority.getAuthority());
			}
		}
		return grantedAuthoritySet;
	}

<?taglib uri="/WEB-INF/tld/web/myutil.tld" prefix="util" ?>

<zul:grid oddRowSclass="none">
   <zul:columns>
      <zul:column align="right" width="50%"/>
      <zul:column align="left" width="50%"/>
   </zul:columns>
   <zul:rows>
      <zul:row if="${util:isAdministrator()}">
         <zul:label value="You have the role: ${util:sf('com.mycompany.security.SecurityService.ADMINISTRATOR')}."/>
         <zul:button label="View Secure Administrators Page" href="${util:sf('com.mycompany.Navigation.ADMIN_PAGE')}"/>
      </zul:row>
   </zul:rows>
</zul:grid>

<?xml version="1.0" encoding="ISO-8859-1" ?>
<taglib>
	<description>My Tag Library</description>
	    
    <function>
        <name>isAdministrator</name>
        <function-class>com.company.service.security.SecurityService</function-class>
        <function-signature>
    		boolean isAdministrator()
        </function-signature>
        <description></description>
    </function>
        
    <function>
        <name>userHasAuthority</name>
        <function-class>org.springframework.security.util.AuthorityUtils</function-class>
        <function-signature>
    		boolean userHasAuthority(java.lang.String authority)
        </function-signature>
        <description></description>
    </function>
    
    <function>
        <name>sf</name>
        <function-class>com.company.helper.Helper</function-class>
        <function-signature>
    		java.lang.String getStaticField(java.lang.String name)
        </function-signature>
        <description></description>
    </function>

</taglib>

        public static final String ADMINISTRATOR = "ROLE_ADMINISTRATOR";

	public static boolean isAdministrator() {
		return org.springframework.security.util.AuthorityUtils.userHasAuthority(SecurityService.ADMINISTRATOR);
	}

	public static String getStaticField(String name) {
		try {
			int i = name.lastIndexOf(".");
			String field = name.substring(i + 1, name.length());
			name = name.substring(0, i);
			Object obj = Class.forName(name).getField(field).get(null);
			if (obj != null) {
				return obj.toString();
			}
			return null;
		} catch (Exception x) {
			throw new RuntimeException(x);
		}
	}

        public static final String ADMIN_PAGE = "/spring/secure/admin/extremelysecure";

  ...
   private Tree treeMainMenu; // autowire
   private Treecell homeMenu; // autowire
   private Treecell menuCat_OfficeData; // autowire
   ...


  public void onCreate$mainMenuWindow(Event event) throws Exception {
  ...
  checkUserRights();
  }

   private void ceckUserRights() {

     // get the user specific workspace
     UserWorkspace workspace = UserWorkspace.getInstance();

     // Home menu. Not secured
     homeMenu.setVisible(true);
     homeMenu.addEventListener("onClick", new treeCellClickEventListener());


     // Menu Category
     if (workspace.isAllowed("menuCat_OfficeData")){
        menuCat_OfficeData.setVusible(true);

        // Menu item CUSTOMER
        if (workspace.isAllowed("menuItem_OfficeData_Customers")){
           menuItem_OfficeData_Customers.setVusible(true);
           menuItem_OfficeData_Customers.addEventListener("onClick", new 
                                            treeCellClickEventListener());
        }

        // Menu item ORDERS
        if (workspace.isAllowed("menuItem_OfficeData_Orders")){
           menuItem_OfficeData_Orders.setVusible(true);
           menuItem_OfficeData_Orders.addEventListener("onClick", new 
                                            treeCellClickEventListener());
        }
    }

       // Menu Category
       if (workspace.isAl...{}
       ...
  }

   /**
   * Inner class. EventHandling for the onClick of the menuItems
   */
   public class treeCellClickEventListener implements org.zkos. ...EventListener {
     public void onEvent(Event event) throws UIException {
         doMenuItem(event.getTarget());
        } catch (Exception e){
          //TODO: Handle e
         }
      }
   }


  private void doMenuItem(Component comp) throws InterruptedException {

    // get the zul-file components id
    String menuItemID = comp.getId();

    if (menuitem == null){
      return;
    } else if (menuitemID.isEmpty()) {
      Messagebox.show("MenuItem is missing!")
      }
 
    if(menuItemID.equalsIgnoreCase("HomeMenu")){
      // Welcome Page
      showPage("/WEB-INF/pages/welcome.zul")
    } else if (menuItemID.equalsIgnoreCase("menuItem_OfficeData_Customers")){
      // Office Data Category menuItem: Customers
      showPage("/WEB-INF/pages/customerList.zul")
    } else if (menuItemID.equalsIgnoreCase("menuItem_OfficeData_Orders")){
      // Office Data Category menuItem: Orders
      showPage("/WEB-INF/pages/orderList.zul")
    ...
     }
}

   /**
   * creates the page from the zul-file and put it in the
   * CENTER area of the borderlayout
   */
   private void showPage(String zulFilePathName){
     try {
       /* get an instance of the borderlayout defined in the zul-file */
       Borderlayout bl = (Borderlayout) Path.getComponent("outerIndexWindow/borderlayoutMain");
       /* get an instance of the CENTER layout area */
       Center center = bl.getCenter();
       center.setFlex();
       /* clear the child comps */
       center.getChilfren().clear();
       /* create the page and put it in the center area */
       Executions.createComponents(zulFilePathName, center, null);

     } catch (Exception e) {
       Messagebox.show(e);
     }



}




   }