Program: 60954
Project: 60954
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);
  String allowedSchemaRoles=xmlRolesReader.getAllAllowedRoles("String_Node_Str","String_Node_Str");
  MetaDataRoleAuthorizationStrategy.authorize(schemaLink,WebPage.ENABLE,allowedSchemaRoles);
  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);
  String allowedRoleRoles=xmlRolesReader.getAllAllowedRoles("String_Node_Str","String_Node_Str");
  MetaDataRoleAuthorizationStrategy.authorize(rolesLink,WebPage.ENABLE,allowedRoleRoles);
  page.add(rolesLink);
  BookmarkablePageLink resourcesLink=new BookmarkablePageLink("String_Node_Str",Resources.class);
  String allowedResourcesRoles=xmlRolesReader.getAllAllowedRoles("String_Node_Str","String_Node_Str");
  MetaDataRoleAuthorizationStrategy.authorize(resourcesLink,WebPage.ENABLE,allowedResourcesRoles);
  page.add(resourcesLink);
  BookmarkablePageLink connectorsLink=new BookmarkablePageLink("String_Node_Str",Connectors.class);
  String allowedConnectorsRoles=xmlRolesReader.getAllAllowedRoles("String_Node_Str","String_Node_Str");
  MetaDataRoleAuthorizationStrategy.authorize(connectorsLink,WebPage.ENABLE,allowedConnectorsRoles);
  page.add(connectorsLink);
  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 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);
  String allowedSchemaRoles=xmlRolesReader.getAllAllowedRoles("String_Node_Str","String_Node_Str");
  MetaDataRoleAuthorizationStrategy.authorize(schemaLink,WebPage.ENABLE,allowedSchemaRoles);
  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);
  String allowedRoleRoles=xmlRolesReader.getAllAllowedRoles("String_Node_Str","String_Node_Str");
  MetaDataRoleAuthorizationStrategy.authorize(rolesLink,WebPage.ENABLE,allowedRoleRoles);
  page.add(rolesLink);
  BookmarkablePageLink resourcesLink=new BookmarkablePageLink("String_Node_Str",Resources.class);
  String allowedResourcesRoles=xmlRolesReader.getAllAllowedRoles("String_Node_Str","String_Node_Str");
  MetaDataRoleAuthorizationStrategy.authorize(resourcesLink,WebPage.ENABLE,allowedResourcesRoles);
  page.add(resourcesLink);
  BookmarkablePageLink todoLink=new BookmarkablePageLink("String_Node_Str",Todo.class);
  String allowedTodoRoles=xmlRolesReader.getAllAllowedRoles("String_Node_Str","String_Node_Str");
  MetaDataRoleAuthorizationStrategy.authorize(todoLink,WebPage.ENABLE,allowedTodoRoles);
  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));
}