Program: 60759
Project: 60759
Buggy source:
public void setupNavigationPane(final WebPage page,final XMLRolesReader xmlRolesReader,final String version){
  page.add(new Label("String_Node_Str","String_Node_Str" + version + "String_Node_Str"+ SyncopeSession.get().getCoreVersion()));
  BookmarkablePageLink schemaLink=new BookmarkablePageLink("String_Node_Str",Schema.class);
  MetaDataRoleAuthorizationStrategy.authorizeAll(schemaLink,WebPage.ENABLE);
  page.add(schemaLink);
  BookmarkablePageLink usersLink=new BookmarkablePageLink("String_Node_Str",Users.class);
  String allowedUsersRoles=xmlRolesReader.getAllAllowedRoles("String_Node_Str","String_Node_Str");
  MetaDataRoleAuthorizationStrategy.authorize(usersLink,WebPage.ENABLE,allowedUsersRoles);
  page.add(usersLink);
  BookmarkablePageLink rolesLink=new BookmarkablePageLink("String_Node_Str",Roles.class);
  MetaDataRoleAuthorizationStrategy.authorizeAll(rolesLink,WebPage.ENABLE);
  page.add(rolesLink);
  BookmarkablePageLink resourcesLink=new BookmarkablePageLink("String_Node_Str",Resources.class);
  MetaDataRoleAuthorizationStrategy.authorizeAll(resourcesLink,WebPage.ENABLE);
  page.add(resourcesLink);
  BookmarkablePageLink todoLink=new BookmarkablePageLink("String_Node_Str",Todo.class);
  MetaDataRoleAuthorizationStrategy.authorize(todoLink,WebPage.ENABLE,xmlRolesReader.getAllAllowedRoles("String_Node_Str","String_Node_Str"));
  page.add(todoLink);
  BookmarkablePageLink reportLink=new BookmarkablePageLink("String_Node_Str",Report.class);
  String allowedReportRoles=xmlRolesReader.getAllAllowedRoles("String_Node_Str","String_Node_Str");
  MetaDataRoleAuthorizationStrategy.authorize(reportLink,WebPage.ENABLE,allowedReportRoles);
  page.add(reportLink);
  BookmarkablePageLink configurationLink=new BookmarkablePageLink("String_Node_Str",Configuration.class);
  String allowedConfigurationRoles=xmlRolesReader.getAllAllowedRoles("String_Node_Str","String_Node_Str");
  MetaDataRoleAuthorizationStrategy.authorize(configurationLink,WebPage.ENABLE,allowedConfigurationRoles);
  page.add(configurationLink);
  BookmarkablePageLink taskLink=new BookmarkablePageLink("String_Node_Str",Tasks.class);
  String allowedTasksRoles=xmlRolesReader.getAllAllowedRoles("String_Node_Str","String_Node_Str");
  MetaDataRoleAuthorizationStrategy.authorize(taskLink,WebPage.ENABLE,allowedTasksRoles);
  page.add(taskLink);
  page.add(new BookmarkablePageLink("String_Node_Str",Logout.class));
}

Fixed version (ground truth):
public void setupNavigationPane(final WebPage page,final XMLRolesReader xmlRolesReader,final boolean notsel,final String version){
  page.add(new Label("String_Node_Str","String_Node_Str" + version + "String_Node_Str"+ SyncopeSession.get().getCoreVersion()));
  BookmarkablePageLink schemaLink=new BookmarkablePageLink("String_Node_Str",Schema.class);
  MetaDataRoleAuthorizationStrategy.authorizeAll(schemaLink,WebPage.ENABLE);
  page.add(schemaLink);
  schemaLink.add(new Image("String_Node_Str",new ContextRelativeResource(IMG_PREFIX + (notsel ? IMG_NOTSEL : "String_Node_Str") + "String_Node_Str"+ IMG_SUFFIX)));
  BookmarkablePageLink usersLink=new BookmarkablePageLink("String_Node_Str",Users.class);
  String allowedUsersRoles=xmlRolesReader.getAllAllowedRoles("String_Node_Str","String_Node_Str");
  MetaDataRoleAuthorizationStrategy.authorize(usersLink,WebPage.ENABLE,allowedUsersRoles);
  page.add(usersLink);
  usersLink.add(new Image("String_Node_Str",new ContextRelativeResource(IMG_PREFIX + (notsel ? IMG_NOTSEL : "String_Node_Str") + "String_Node_Str"+ IMG_SUFFIX)));
  BookmarkablePageLink rolesLink=new BookmarkablePageLink("String_Node_Str",Roles.class);
  MetaDataRoleAuthorizationStrategy.authorizeAll(rolesLink,WebPage.ENABLE);
  page.add(rolesLink);
  rolesLink.add(new Image("String_Node_Str",new ContextRelativeResource(IMG_PREFIX + (notsel ? IMG_NOTSEL : "String_Node_Str") + "String_Node_Str"+ IMG_SUFFIX)));
  BookmarkablePageLink resourcesLink=new BookmarkablePageLink("String_Node_Str",Resources.class);
  MetaDataRoleAuthorizationStrategy.authorizeAll(resourcesLink,WebPage.ENABLE);
  page.add(resourcesLink);
  resourcesLink.add(new Image("String_Node_Str",new ContextRelativeResource(IMG_PREFIX + (notsel ? IMG_NOTSEL : "String_Node_Str") + "String_Node_Str"+ IMG_SUFFIX)));
  BookmarkablePageLink todoLink=new BookmarkablePageLink("String_Node_Str",Todo.class);
  MetaDataRoleAuthorizationStrategy.authorize(todoLink,WebPage.ENABLE,xmlRolesReader.getAllAllowedRoles("String_Node_Str","String_Node_Str"));
  page.add(todoLink);
  todoLink.add(new Image("String_Node_Str",new ContextRelativeResource(IMG_PREFIX + (notsel ? IMG_NOTSEL : "String_Node_Str") + "String_Node_Str"+ IMG_SUFFIX)));
  BookmarkablePageLink reportLink=new BookmarkablePageLink("String_Node_Str",Reports.class);
  String allowedReportRoles=xmlRolesReader.getAllAllowedRoles("String_Node_Str","String_Node_Str");
  MetaDataRoleAuthorizationStrategy.authorize(reportLink,WebPage.ENABLE,allowedReportRoles);
  page.add(reportLink);
  reportLink.add(new Image("String_Node_Str",new ContextRelativeResource(IMG_PREFIX + (notsel ? IMG_NOTSEL : "String_Node_Str") + "String_Node_Str"+ IMG_SUFFIX)));
  BookmarkablePageLink configurationLink=new BookmarkablePageLink("String_Node_Str",Configuration.class);
  String allowedConfigurationRoles=xmlRolesReader.getAllAllowedRoles("String_Node_Str","String_Node_Str");
  MetaDataRoleAuthorizationStrategy.authorize(configurationLink,WebPage.ENABLE,allowedConfigurationRoles);
  page.add(configurationLink);
  configurationLink.add(new Image("String_Node_Str",new ContextRelativeResource(IMG_PREFIX + (notsel ? IMG_NOTSEL : "String_Node_Str") + "String_Node_Str"+ IMG_SUFFIX)));
  BookmarkablePageLink taskLink=new BookmarkablePageLink("String_Node_Str",Tasks.class);
  String allowedTasksRoles=xmlRolesReader.getAllAllowedRoles("String_Node_Str","String_Node_Str");
  MetaDataRoleAuthorizationStrategy.authorize(taskLink,WebPage.ENABLE,allowedTasksRoles);
  page.add(taskLink);
  taskLink.add(new Image("String_Node_Str",new ContextRelativeResource(IMG_PREFIX + (notsel ? IMG_NOTSEL : "String_Node_Str") + "String_Node_Str"+ IMG_SUFFIX)));
  page.add(new BookmarkablePageLink("String_Node_Str",Logout.class));
}