/**
* Get Menu favorites for a user
*
* @return menu as array list
*/
public ArrayList<CTreeNode> getMenuFavorites() {
MUser user = MUser.get(getContext());
int AD_Tree_ID = user.getAD_Tree_MenuFavorite_ID();
if (AD_Tree_ID == 0) // favorites has not yet been created
return new ArrayList<CTreeNode>();
return getMenuTree(AD_Tree_ID, false);
} // get favorites menu
