nus-yam/ex-repair huggingface dataset:
Program: 84461
Project: 84461
Buggy source:
public void reset(){
  for (int i=0; i < field.length; i++) {
    for (int j=0; j < field[i].length; j++) {
      field[i][j].set_owner(neutral_owner);
      field[i][j].randomize_color(num_colors);
    }
  }
  while (top_left.get_color() == bottom_right.get_color()) {
    bottom_right.randomize_color(num_colors);
  }
  player_1.reset_score();
  player_2.reset_score();
  neutral_owner.reset_score();
  player_1.set_color(player_1.starting_square.get_color());
  player_2.set_color(player_2.starting_square.get_color());
  conquer(player_1.starting_square,player_1);
  conquer(player_2.starting_square,player_2);
  balance_start();
  return;
}

Fixed version (ground truth):
/** 
 * Brings the field to a state of randomness and resets player ownership to starting squares. 
 */
public void reset(){
  for (int i=0; i < field.length; i++) {
    for (int j=0; j < field[i].length; j++) {
      field[i][j].set_owner(neutral_owner);
      field[i][j].randomize_color(num_colors);
    }
  }
  while (top_left.get_color() == bottom_right.get_color()) {
    bottom_right.randomize_color(num_colors);
  }
  player_1.reset_score();
  player_2.reset_score();
  neutral_owner.reset_score();
  player_1.set_color(player_1.starting_square.get_color());
  player_2.set_color(player_2.starting_square.get_color());
  conquer(player_1.starting_square,player_1);
  conquer(player_2.starting_square,player_2);
  player_1.starting_square.border=true;
  player_2.starting_square.border=true;
  balance_start();
  return;
}
Program: 84462
Project: 84462
Buggy source:
public void initialize(EPlayer player_1,EPlayer player_2){
  this.player_1=player_1;
  this.player_2=player_2;
  this.player_1.set_opponent(this.player_2);
  this.player_2.set_opponent(this.player_1);
  this.player_1.starting_square=this.top_left;
  this.player_2.starting_square=this.bottom_right;
  reset();
  return;
}

Fixed version (ground truth):
/** 
 * Initializes the board with the given players. 
 */
public void initialize(EPlayer player_1,EPlayer player_2){
  this.player_1=player_1;
  this.player_2=player_2;
  this.player_1.set_opponent(this.player_2);
  this.player_2.set_opponent(this.player_1);
  this.player_1.starting_square=this.top_left;
  this.player_2.starting_square=this.bottom_right;
  reset();
  return;
}
Program: 84463
Project: 84463
Buggy source:
public void play_color(EPlayer player,int next_color){
  if (!can_play(player,next_color)) {
    System.err.println("String_Node_Str" + player.name + "String_Node_Str");
    return;
  }
  player.set_color(next_color);
  EPlayer opponent=player.get_opponent();
  reset_border(player);
  traverse_owned(player,next_color,player.starting_square.x_coord,player.starting_square.y_coord);
  reset_visited();
  traverse_reachable(opponent,opponent.starting_square.x_coord,opponent.starting_square.y_coord);
  for (int i=0; i < this.field.length; i++) {
    for (int j=0; j < this.field[i].length; j++) {
      if (!this.field[i][j].visited) {
        conquer(this.field[i][j],player);
      }
    }
  }
  reset_visited();
  return;
}

Fixed version (ground truth):
/** 
 * Makes a move to the next color for the player. 
 */
public void play_color(EPlayer player,int next_color){
  if (!can_play(player,next_color)) {
    System.err.println("String_Node_Str" + player.name + "String_Node_Str");
    return;
  }
  player.set_color(next_color);
  EPlayer opponent=player.get_opponent();
  reset_border(player);
  traverse_owned(player,next_color,player.starting_square.x_coord,player.starting_square.y_coord);
  reset_visited();
  traverse_reachable(opponent,opponent.starting_square.x_coord,opponent.starting_square.y_coord);
  for (int i=0; i < this.field.length; i++) {
    for (int j=0; j < this.field[i].length; j++) {
      if (!this.field[i][j].visited) {
        conquer(this.field[i][j],player);
      }
    }
  }
  reset_visited();
  return;
}
Program: 84464
Project: 84464
Buggy source:
public int ai_next_color_choice(EBoard board){
  int color_choice=0;
  if (this.ai_difficulty == 0) {
    color_choice=(int)Math.floor(Math.random() * board.num_colors);
    while (!board.can_play(this,color_choice)) {
      color_choice=(int)Math.floor(Math.random() * board.num_colors);
    }
  }
  return color_choice;
}

Fixed version (ground truth):
/** 
 * Returns the AI's next choice of color, based on the difficulty setting. 
 */
public int ai_next_color_choice(EBoard board){
  int color_choice=0;
  if (this.ai_difficulty == 0) {
    color_choice=(int)Math.floor(Math.random() * board.num_colors);
    while (!board.can_play(this,color_choice)) {
      color_choice=(int)Math.floor(Math.random() * board.num_colors);
    }
  }
  return color_choice;
}
Program: 84465
Project: 84465
Buggy source:
public void set_opponent(EPlayer new_opponent){
  this.opponent=new_opponent;
  return;
}

Fixed version (ground truth):
/** 
 * Switches the player's opponent to the given opponent. 
 */
public void set_opponent(EPlayer new_opponent){
  this.opponent=new_opponent;
  return;
}
Program: 84466
Project: 84466
Buggy source:
public void set_color(int new_color){
  this.color=new_color;
  return;
}

Fixed version (ground truth):
/** 
 * Switches the player's color to the given color. 
 */
public void set_color(int new_color){
  this.color=new_color;
  return;
}
Program: 84467
Project: 84467
Buggy source:
public EPlayer get_opponent(){
  return this.opponent;
}

Fixed version (ground truth):
/** 
 * Returns the player's opponent. 
 */
public EPlayer get_opponent(){
  return this.opponent;
}
Program: 84468
Project: 84468
Buggy source:
public int get_color(){
  return this.color;
}

Fixed version (ground truth):
/** 
 * Returns the player's color. 
 */
public int get_color(){
  return this.color;
}
Program: 84469
Project: 84469
Buggy source:
public void set_owner(EOwner new_owner){
  this.owner=new_owner;
  return;
}

Fixed version (ground truth):
/** 
 * Switches the square's owner to the given owner. 
 */
public void set_owner(EOwner new_owner){
  this.owner=new_owner;
  return;
}
Program: 84470
Project: 84470
Buggy source:
public Boolean conquered_by_move(int next_color,EPlayer conqueror){
  if (this.color == next_color || this.owner == conqueror) {
    return true;
  }
  return false;
}

Fixed version (ground truth):
/** 
 * Returns true if this square will be conquered by playing the color. 
 */
public Boolean conquered_by_move(int next_color,EPlayer conqueror){
  if (this.color == next_color || this.owner == conqueror) {
    return true;
  }
  return false;
}
Program: 84471
Project: 84471
Buggy source:
public Boolean conquerable_by_player(EPlayer player){
  if (this.get_owner() == player.get_opponent()) {
    return false;
  }
  return true;
}

Fixed version (ground truth):
/** 
 * Returns false if this square is owned by the opponent. 
 */
public Boolean conquerable_by_player(EPlayer player){
  if (this.get_owner() == player.get_opponent()) {
    return false;
  }
  return true;
}
Program: 84472
Project: 84472
Buggy source:
public EOwner get_owner(){
  return this.owner;
}

Fixed version (ground truth):
/** 
 * Returns the square's owner. 
 */
public EOwner get_owner(){
  return this.owner;
}
Program: 84473
Project: 84473
Buggy source:
public void set_color(int new_color){
  this.color=new_color;
  return;
}

Fixed version (ground truth):
/** 
 * Switches the square's color to the given color. 
 */
public void set_color(int new_color){
  this.color=new_color;
  return;
}
Program: 84474
Project: 84474
Buggy source:
public ESquare(int x_coord,int y_coord){
  this.owner=null;
  this.color=0;
  this.visited=false;
  this.border=false;
  this.x_coord=x_coord;
  this.y_coord=y_coord;
}

Fixed version (ground truth):
/** 
 * Creates a new unowned square with color 0. 
 */
public ESquare(int x_coord,int y_coord){
  this.owner=null;
  this.color=0;
  this.visited=false;
  this.border=false;
  this.x_coord=x_coord;
  this.y_coord=y_coord;
}
Program: 84475
Project: 84475
Buggy source:
public void randomize_color(int num_colors){
  this.color=(int)Math.floor(Math.random() * num_colors);
  return;
}

Fixed version (ground truth):
/** 
 * Randomizes the square's color. 
 */
public void randomize_color(int num_colors){
  this.color=(int)Math.floor(Math.random() * num_colors);
  return;
}
Program: 84476
Project: 84476
Buggy source:
public int get_color(){
  return this.color;
}

Fixed version (ground truth):
/** 
 * Returns the square's color. 
 */
public int get_color(){
  return this.color;
}
Program: 84478
Project: 84478
Buggy source:
@Override protected Map<String,Object> referenceData(HttpServletRequest request) throws Exception {
  Map<String,Object> map=new HashMap<String,Object>();
  MessageSourceAccessor msa=getMessageSourceAccessor();
  map.put("String_Node_Str",ModuleUtil.allowAdmin().toString());
  map.put("String_Node_Str",msa.getMessage("String_Node_Str",new String[]{ModuleConstants.RUNTIMEPROPERTY_ALLOW_ADMIN}));
  map.put("String_Node_Str",OpenmrsConstants.OPENMRS_VERSION_SHORT);
  map.put("String_Node_Str",WebConstants.MODULE_REPOSITORY_URL);
  map.put("String_Node_Str",ModuleFactory.getLoadedModules());
  return map;
}

Fixed version (ground truth):
@Override protected Map<String,Object> referenceData(HttpServletRequest request) throws Exception {
  ClassLoader cl=Thread.currentThread().getContextClassLoader();
  Map<String,Object> map=new HashMap<String,Object>();
  MessageSourceAccessor msa=getMessageSourceAccessor();
  map.put("String_Node_Str",ModuleUtil.allowAdmin().toString());
  map.put("String_Node_Str",msa.getMessage("String_Node_Str",new String[]{ModuleConstants.RUNTIMEPROPERTY_ALLOW_ADMIN}));
  map.put("String_Node_Str",OpenmrsConstants.OPENMRS_VERSION_SHORT);
  map.put("String_Node_Str",WebConstants.MODULE_REPOSITORY_URL);
  map.put("String_Node_Str",ModuleFactory.getLoadedModules());
  return map;
}
Program: 84480
Project: 84480
Buggy source:
@Override public void run(){
  isDaemonThread.set(true);
  try {
    Context.openSession();
    runnable.run();
  }
  finally {
    Context.closeSession();
  }
}

Fixed version (ground truth):
@Override public void run(){
  isDaemonThread.set(true);
  try {
    Context.openSession();
    service.onStartup();
  }
 catch (  Throwable t) {
    exceptionThrown=t;
  }
 finally {
    Context.closeSession();
  }
}
Program: 84483
Project: 84483
Buggy source:
/** 
 * @return the moduleActivator
 */
public ModuleActivator getModuleActivator(){
  try {
    ModuleClassLoader classLoader=ModuleFactory.getModuleClassLoader(this);
    if (classLoader == null)     throw new ModuleException("String_Node_Str",getModuleId());
    Class<?> c=classLoader.loadClass(getActivatorName());
    Object o=c.newInstance();
    if (ModuleActivator.class.isAssignableFrom(o.getClass()))     setModuleActivator((ModuleActivator)o);
  }
 catch (  ClassNotFoundException e) {
    throw new ModuleException("String_Node_Str" + getActivatorName() + "String_Node_Str",name,e);
  }
catch (  IllegalAccessException e) {
    throw new ModuleException("String_Node_Str" + getActivatorName() + "String_Node_Str",name,e);
  }
catch (  InstantiationException e) {
    throw new ModuleException("String_Node_Str" + getActivatorName() + "String_Node_Str",name,e);
  }
  return moduleActivator;
}

Fixed version (ground truth):
/** 
 * @return the moduleActivator
 */
public ModuleActivator getModuleActivator(){
  try {
    if (moduleActivator == null) {
      ModuleClassLoader classLoader=ModuleFactory.getModuleClassLoader(this);
      if (classLoader == null)       throw new ModuleException("String_Node_Str",getModuleId());
      Class<?> c=classLoader.loadClass(getActivatorName());
      Object o=c.newInstance();
      if (ModuleActivator.class.isAssignableFrom(o.getClass()))       setModuleActivator((ModuleActivator)o);
    }
  }
 catch (  ClassNotFoundException e) {
    throw new ModuleException("String_Node_Str" + getActivatorName() + "String_Node_Str",name,e);
  }
catch (  IllegalAccessException e) {
    throw new ModuleException("String_Node_Str" + getActivatorName() + "String_Node_Str",name,e);
  }
catch (  InstantiationException e) {
    throw new ModuleException("String_Node_Str" + getActivatorName() + "String_Node_Str",name,e);
  }
  return moduleActivator;
}
Program: 84484
Project: 84484
Buggy source:
/** 
 * @return the activator
 * @deprecated replaced by {@link Module#getModuleActivator()}
 */
@Deprecated public Activator getActivator(){
  try {
    ModuleClassLoader classLoader=ModuleFactory.getModuleClassLoader(this);
    if (classLoader == null)     throw new ModuleException("String_Node_Str",getModuleId());
    Class<?> c=classLoader.loadClass(getActivatorName());
    setActivator((Activator)c.newInstance());
  }
 catch (  ClassNotFoundException e) {
    throw new ModuleException("String_Node_Str" + getActivatorName() + "String_Node_Str",name,e);
  }
catch (  IllegalAccessException e) {
    throw new ModuleException("String_Node_Str" + getActivatorName() + "String_Node_Str",name,e);
  }
catch (  InstantiationException e) {
    throw new ModuleException("String_Node_Str" + getActivatorName() + "String_Node_Str",name,e);
  }
  return activator;
}

Fixed version (ground truth):
/** 
 * @return the activator
 * @deprecated replaced by {@link Module#getModuleActivator()}
 */
@Deprecated public Activator getActivator(){
  try {
    if (activator == null) {
      ModuleClassLoader classLoader=ModuleFactory.getModuleClassLoader(this);
      if (classLoader == null)       throw new ModuleException("String_Node_Str",getModuleId());
      Class<?> c=classLoader.loadClass(getActivatorName());
      setActivator((Activator)c.newInstance());
    }
  }
 catch (  ClassNotFoundException e) {
    throw new ModuleException("String_Node_Str" + getActivatorName() + "String_Node_Str",name,e);
  }
catch (  IllegalAccessException e) {
    throw new ModuleException("String_Node_Str" + getActivatorName() + "String_Node_Str",name,e);
  }
catch (  InstantiationException e) {
    throw new ModuleException("String_Node_Str" + getActivatorName() + "String_Node_Str",name,e);
  }
  return activator;
}
Program: 84486
Project: 84486
Buggy source:
/** 
 * called before @BeforeTransaction methods
 * @see org.springframework.test.context.support.AbstractTestExecutionListener#prepareTestInstance(org.springframework.test.context.TestContext)
 */
@Override public void prepareTestInstance(TestContext testContext) throws Exception {
  StartModule startModuleAnnotation=testContext.getTestClass().getAnnotation(StartModule.class);
  if (startModuleAnnotation != null) {
    if (!lastClassRun.equals(testContext.getTestClass().getSimpleName())) {
      lastClassRun=testContext.getTestClass().getSimpleName();
      if (!Context.isSessionOpen())       Context.openSession();
      String modulesToLoad=StringUtils.join(startModuleAnnotation.value(),"String_Node_Str");
      Properties props=BaseContextSensitiveTest.runtimeProperties;
      props.setProperty(ModuleConstants.RUNTIMEPROPERTY_MODULE_LIST_TO_LOAD,modulesToLoad);
      try {
        ModuleUtil.startup(props);
      }
 catch (      Exception e) {
        System.out.println("String_Node_Str");
        e.printStackTrace(System.out);
        throw e;
      }
      Assert.assertTrue("String_Node_Str" + testContext.getTestClass().getSimpleName() + "String_Node_Str"+ ModuleFactory.getStartedModules().size()+ "String_Node_Str"+ startModuleAnnotation.value().length,startModuleAnnotation.value().length <= ModuleFactory.getStartedModules().size());
      new ClassPathXmlApplicationContext(new String[]{"String_Node_Str","String_Node_Str"});
    }
  }
}

Fixed version (ground truth):
/** 
 * called before @BeforeTransaction methods
 * @see org.springframework.test.context.support.AbstractTestExecutionListener#prepareTestInstance(org.springframework.test.context.TestContext)
 */
@Override public void prepareTestInstance(TestContext testContext) throws Exception {
  StartModule startModuleAnnotation=testContext.getTestClass().getAnnotation(StartModule.class);
  if (startModuleAnnotation != null) {
    if (!lastClassRun.equals(testContext.getTestClass().getSimpleName())) {
      lastClassRun=testContext.getTestClass().getSimpleName();
      if (!Context.isSessionOpen())       Context.openSession();
      String modulesToLoad=StringUtils.join(startModuleAnnotation.value(),"String_Node_Str");
      Properties props=BaseContextSensitiveTest.runtimeProperties;
      props.setProperty(ModuleConstants.RUNTIMEPROPERTY_MODULE_LIST_TO_LOAD,modulesToLoad);
      try {
        ModuleUtil.startup(props);
      }
 catch (      Exception e) {
        System.out.println("String_Node_Str");
        e.printStackTrace(System.out);
        throw e;
      }
      Assert.assertTrue("String_Node_Str" + testContext.getTestClass().getSimpleName() + "String_Node_Str"+ ModuleFactory.getStartedModules().size()+ "String_Node_Str"+ startModuleAnnotation.value().length,startModuleAnnotation.value().length <= ModuleFactory.getStartedModules().size());
      GenericApplicationContext ctx=new GenericApplicationContext(testContext.getApplicationContext());
      XmlBeanDefinitionReader xmlReader=new XmlBeanDefinitionReader(ctx);
      xmlReader.loadBeanDefinitions(new ClassPathResource("String_Node_Str"));
      ctx.refresh();
    }
  }
}
Program: 84488
Project: 84488
Buggy source:
/** 
 * This class method is only called when flushing an updated dirty object, not inserting objects
 * @return true if the object got the changedBy and dateChanged fields set
 * @should return false for non Auditable objects
 * @should set the dateChanged field
 * @should set the changedBy field
 * @should be called when saving an Auditable
 * @see org.hibernate.EmptyInterceptor#onFlushDirty(java.lang.Object,java.io.Serializable,java.lang.Object[],java.lang.Object[],java.lang.String[],org.hibernate.type.Type[])
 */
@Override public boolean onFlushDirty(Object entity,Serializable id,Object[] currentState,Object[] previousState,String[] propertyNames,Type[] types) throws CallbackException {
  if (entity instanceof Auditable) {
    if (log.isDebugEnabled())     log.debug("String_Node_Str" + entity);
    for (int x=0; x < propertyNames.length; x++) {
      if (propertyNames[x].equals("String_Node_Str"))       currentState[x]=Context.getAuthenticatedUser();
 else       if (propertyNames[x].equals("String_Node_Str"))       currentState[x]=new Date();
    }
    return true;
  }
  return false;
}

Fixed version (ground truth):
/** 
 * This class method is only called when flushing an updated dirty object, not inserting objects
 * @return true if the object got the changedBy and dateChanged fields set
 * @should return false for non Auditable objects
 * @should set the dateChanged field
 * @should set the changedBy field
 * @should be called when saving an Auditable
 * @see org.hibernate.EmptyInterceptor#onFlushDirty(java.lang.Object,java.io.Serializable,java.lang.Object[],java.lang.Object[],java.lang.String[],org.hibernate.type.Type[])
 */
@Override public boolean onFlushDirty(Object entity,Serializable id,Object[] currentState,Object[] previousState,String[] propertyNames,Type[] types) throws CallbackException {
  if (entity instanceof Auditable) {
    if (log.isDebugEnabled())     log.debug("String_Node_Str" + entity);
    boolean objectWasChanged=false;
    Date currentDate=new Date();
    User authenticatedUser=Context.getAuthenticatedUser();
    for (int x=0; x < propertyNames.length; x++) {
      if (propertyNames[x].equals("String_Node_Str") && previousState != null && previousState[x] != authenticatedUser) {
        currentState[x]=authenticatedUser;
        objectWasChanged=true;
      }
 else       if (propertyNames[x].equals("String_Node_Str") && previousState != null && previousState[x] != currentDate) {
        currentState[x]=currentDate;
        objectWasChanged=true;
      }
    }
    return objectWasChanged;
  }
  return false;
}
Program: 84489
Project: 84489
Buggy source:
/** 
 * @see org.openmrs.api.db.ContextDAO#getUserByUuid(java.lang.String)
 */
public User getUserByUuid(String uuid){
  return (User)sessionFactory.getCurrentSession().createQuery("String_Node_Str").setString("String_Node_Str",uuid).uniqueResult();
}

Fixed version (ground truth):
/** 
 * @see org.openmrs.api.db.ContextDAO#getUserByUuid(java.lang.String)
 */
public User getUserByUuid(String uuid){
  FlushMode flushMode=sessionFactory.getCurrentSession().getFlushMode();
  sessionFactory.getCurrentSession().setFlushMode(FlushMode.MANUAL);
  User u=(User)sessionFactory.getCurrentSession().createQuery("String_Node_Str").setString("String_Node_Str",uuid).uniqueResult();
  sessionFactory.getCurrentSession().setFlushMode(flushMode);
  return u;
}
Program: 84490
Project: 84490
Buggy source:
/** 
 * @see AuditableInterceptor#onFlushDirty(Object,Serializable,Object[],Object[],String[],Type[])
 * @verifies set the changedBy field
 */
@Test public void onFlushDirty_shouldSetTheChangedByField() throws Exception {
  AuditableInterceptor interceptor=new AuditableInterceptor();
  User u=new User();
  Assert.assertTrue(u instanceof Auditable);
  String[] propertyNames=new String[]{"String_Node_Str","String_Node_Str"};
  Object[] currentState=new Object[]{"String_Node_Str",null};
  interceptor.onFlushDirty(u,null,currentState,null,propertyNames,null);
  Assert.assertNotNull(currentState[0]);
}

Fixed version (ground truth):
/** 
 * @see AuditableInterceptor#onFlushDirty(Object,Serializable,Object[],Object[],String[],Type[])
 * @verifies set the changedBy field
 */
@Test public void onFlushDirty_shouldSetTheChangedByField() throws Exception {
  AuditableInterceptor interceptor=new AuditableInterceptor();
  User u=new User();
  Assert.assertTrue(u instanceof Auditable);
  String[] propertyNames=new String[]{"String_Node_Str","String_Node_Str"};
  Object[] currentState=new Object[]{"String_Node_Str",null};
  Object[] previousState=new Object[]{"String_Node_Str",null};
  interceptor.onFlushDirty(u,null,currentState,previousState,propertyNames,null);
  Assert.assertNotNull(currentState[0]);
}
Program: 84491
Project: 84491
Buggy source:
/** 
 * @see AuditableInterceptor#onFlushDirty(Object,Serializable,Object[],Object[],String[],Type[])
 * @verifies set the dateChanged field
 */
@Test public void onFlushDirty_shouldSetTheDateChangedField() throws Exception {
  AuditableInterceptor interceptor=new AuditableInterceptor();
  User u=new User();
  Assert.assertTrue(u instanceof Auditable);
  String[] propertyNames=new String[]{"String_Node_Str","String_Node_Str"};
  Object[] currentState=new Object[]{"String_Node_Str",null};
  interceptor.onFlushDirty(u,null,currentState,null,propertyNames,null);
  Assert.assertNotNull(currentState[1]);
}

Fixed version (ground truth):
/** 
 * @see AuditableInterceptor#onFlushDirty(Object,Serializable,Object[],Object[],String[],Type[])
 * @verifies set the dateChanged field
 */
@Test public void onFlushDirty_shouldSetTheDateChangedField() throws Exception {
  AuditableInterceptor interceptor=new AuditableInterceptor();
  User u=new User();
  Assert.assertTrue(u instanceof Auditable);
  String[] propertyNames=new String[]{"String_Node_Str","String_Node_Str"};
  Object[] currentState=new Object[]{"String_Node_Str",null};
  Object[] previousState=new Object[]{"String_Node_Str",null};
  interceptor.onFlushDirty(u,null,currentState,previousState,propertyNames,null);
  Assert.assertNotNull(currentState[1]);
}
Program: 84492
Project: 84492
Buggy source:
/** 
 * Convenience method for pulling the correct page to redirect to out of the request
 * @param request the current request
 * @return the page to redirect to as determined by parameters in the request
 */
private String determineRedirect(HttpServletRequest request){
  String redirect=request.getParameter("String_Node_Str");
  if (redirect == null || redirect.equals("String_Node_Str")) {
    redirect=request.getContextPath();
  }
 else   if (redirect.contains("String_Node_Str")) {
    log.debug("String_Node_Str");
    redirect=request.getContextPath();
  }
 else   if (!redirect.startsWith(request.getContextPath())) {
    log.debug("String_Node_Str");
    redirect=request.getContextPath();
  }
 else   if (redirect.endsWith(WebConstants.SETUP_PAGE_URL)) {
    log.debug("String_Node_Str");
    redirect=request.getContextPath();
  }
 else   if (redirect.contains("String_Node_Str") || redirect.contains("String_Node_Str") || redirect.contains("String_Node_Str")) {
    log.debug("String_Node_Str");
    redirect=request.getContextPath();
  }
  log.debug("String_Node_Str" + redirect + "String_Node_Str");
  return redirect;
}

Fixed version (ground truth):
/** 
 * Convenience method for pulling the correct page to redirect to out of the request
 * @param request the current request
 * @return the page to redirect to as determined by parameters in the request
 */
private String determineRedirect(HttpServletRequest request){
  String redirect=request.getParameter("String_Node_Str");
  if (redirect == null || redirect.equals("String_Node_Str")) {
    redirect=request.getParameter("String_Node_Str");
    if (redirect != null && !redirect.startsWith("String_Node_Str")) {
      Integer requestURLLength=request.getRequestURL().length();
      StringBuffer domainAndPort=request.getRequestURL();
      domainAndPort.delete(requestURLLength - request.getRequestURI().length(),requestURLLength);
      if (!redirect.startsWith(domainAndPort.toString()))       redirect=null;
      redirect=redirect.substring(redirect.indexOf("String_Node_Str",9));
    }
  }
  if (redirect == null || redirect.equals("String_Node_Str")) {
    redirect=request.getContextPath();
  }
 else   if (redirect.contains("String_Node_Str")) {
    log.debug("String_Node_Str");
    redirect=request.getContextPath();
  }
 else   if (!redirect.startsWith(request.getContextPath())) {
    log.debug("String_Node_Str");
    redirect=request.getContextPath();
  }
 else   if (redirect.endsWith(WebConstants.SETUP_PAGE_URL)) {
    log.debug("String_Node_Str");
    redirect=request.getContextPath();
  }
 else   if (redirect.contains("String_Node_Str") || redirect.contains("String_Node_Str") || redirect.contains("String_Node_Str")) {
    log.debug("String_Node_Str");
    redirect=request.getContextPath();
  }
  log.debug("String_Node_Str" + redirect + "String_Node_Str");
  return redirect;
}
Program: 84493
Project: 84493
Buggy source:
/** 
 * @should return patient identifier validator given class name
 * @should treat empty strings like a null entry
 */
public IdentifierValidator getIdentifierValidator(String pivClassName);

Fixed version (ground truth):
/** 
 * @should return patient identifier validator given class name
 * @should treat empty strings like a null entry
 */
@Transactional(readOnly=true) public IdentifierValidator getIdentifierValidator(String pivClassName);
Program: 84494
Project: 84494
Buggy source:
/** 
 * @return All registered PatientIdentifierValidators
 * @should return all registered patient identifier validators
 */
public Collection<IdentifierValidator> getAllIdentifierValidators();

Fixed version (ground truth):
/** 
 * @return All registered PatientIdentifierValidators
 * @should return all registered patient identifier validators
 */
@Transactional(readOnly=true) public Collection<IdentifierValidator> getAllIdentifierValidators();
Program: 84495
Project: 84495
Buggy source:
/** 
 * @return the default IdentifierValidator
 * @should return default patient identifier validator
 */
public IdentifierValidator getDefaultIdentifierValidator();

Fixed version (ground truth):
/** 
 * @return the default IdentifierValidator
 * @should return default patient identifier validator
 */
@Transactional(readOnly=true) public IdentifierValidator getDefaultIdentifierValidator();
Program: 84496
Project: 84496
Buggy source:
/** 
 * Parses a name into a PersonName (separate Given, Middle, and Family names)
 * @param name person name to be parsed
 * @return parsed person name
 * @should parse two person name with comma
 * @should parse two person name without comma
 * @should not fail when ending with whitespace
 * @should not fail when ending with a comma
 */
public PersonName parsePersonName(String name) throws APIException ;

Fixed version (ground truth):
/** 
 * Parses a name into a PersonName (separate Given, Middle, and Family names)
 * @param name person name to be parsed
 * @return parsed person name
 * @should parse two person name with comma
 * @should parse two person name without comma
 * @should not fail when ending with whitespace
 * @should not fail when ending with a comma
 * @should parse four person name
 */
public PersonName parsePersonName(String name) throws APIException ;
Program: 84497
Project: 84497
Buggy source:
/** 
 * @see org.openmrs.api.PersonService#parsePersonName(java.lang.String)
 */
public PersonName parsePersonName(String name) throws APIException {
  name=name.trim();
  while (name.endsWith("String_Node_Str"))   name=name.substring(0,name.length() - 1);
  String firstName=name;
  String middleName="String_Node_Str";
  String lastName="String_Node_Str";
  if (name.contains("String_Node_Str")) {
    String[] names=name.split("String_Node_Str");
    for (int x=0; x < names.length; x++) {
      names[x]=names[x].trim();
    }
    String[] firstNames=names[1].split("String_Node_Str");
    if (firstNames.length == 2) {
      lastName=names[0];
      firstName=firstNames[0];
      middleName=firstNames[1];
    }
 else {
      firstName=names[1];
      lastName=names[0];
    }
  }
 else   if (name.contains("String_Node_Str")) {
    String[] names=name.split("String_Node_Str");
    if (names.length == 3) {
      firstName=names[0];
      middleName=names[1];
      lastName=names[2];
    }
 else {
      firstName=names[0];
      lastName=names[1];
    }
  }
  return new PersonName(firstName,middleName,lastName);
}

Fixed version (ground truth):
/** 
 * @see org.openmrs.api.PersonService#parsePersonName(java.lang.String)
 */
public PersonName parsePersonName(String name) throws APIException {
  name=name.trim();
  while (name.endsWith("String_Node_Str"))   name=name.substring(0,name.length() - 1);
  String firstName=name;
  String middleName="String_Node_Str";
  String lastName="String_Node_Str";
  String lastName2=null;
  if (name.contains("String_Node_Str")) {
    String[] names=name.split("String_Node_Str");
    for (int x=0; x < names.length; x++) {
      names[x]=names[x].trim();
    }
    String[] firstNames=names[1].split("String_Node_Str");
    if (firstNames.length == 2) {
      lastName=names[0];
      firstName=firstNames[0];
      middleName=firstNames[1];
    }
 else {
      firstName=names[1];
      lastName=names[0];
    }
  }
 else   if (name.contains("String_Node_Str")) {
    String[] names=name.split("String_Node_Str");
    if (names.length == 4) {
      firstName=names[0];
      middleName=names[1];
      lastName=names[2];
      lastName2=names[3];
    }
 else     if (names.length == 3) {
      firstName=names[0];
      middleName=names[1];
      lastName=names[2];
    }
 else {
      firstName=names[0];
      lastName=names[1];
    }
  }
  PersonName pn=new PersonName(firstName,middleName,lastName);
  pn.setFamilyName2(lastName2);
  return pn;
}
Program: 84498
Project: 84498
Buggy source:
/** 
 * @see PersonService#parsePersonName(String)
 * @verifies not fail when ending with whitespace
 */
@Test public void parsePersonName_shouldNotFailWhenEndingWithWhitespace() throws Exception {
  Context.getPersonService().parsePersonName("String_Node_Str");
}

Fixed version (ground truth):
/** 
 * @see PersonService#parsePersonName(String)
 * @verifies not fail when ending with whitespace
 */
@Test public void parsePersonName_shouldNotFailWhenEndingWithWhitespace() throws Exception {
  PersonName pname=Context.getPersonService().parsePersonName("String_Node_Str");
  assertEquals("String_Node_Str",pname.getGivenName());
}
Program: 84500
Project: 84500
Buggy source:
/** 
 * Returns a map of results with the values as count of matches and a partial list of the matching encounters (depending on values of start and length parameters) while the keys are are 'count' and 'objectList' respectively, if the length parameter is not specified, then all matches will be returned from the start index if specified.
 * @param phrase patient name or identifier
 * @param includeVoided Specifies if voided encounters should be included or not
 * @param start the beginning index
 * @param length the number of matching encounters to return
 * @return a map of results
 * @throws APIException
 * @since 1.8
 */
public Map<String,Object> findCountAndEncounters(String phrase,boolean includeVoided,Integer start,Integer length) throws APIException {
  Map<String,Object> resultsMap=new HashMap<String,Object>();
  int encounterCount=Context.getEncounterService().getCountOfEncounters(phrase,includeVoided);
  Vector<Object> objectList=new Vector<Object>();
  if (encounterCount > 0)   objectList=findEncounters(phrase,includeVoided,start,length);
  resultsMap.put("String_Node_Str",encounterCount);
  resultsMap.put("String_Node_Str",objectList);
  return resultsMap;
}

Fixed version (ground truth):
/** 
 * Returns a map of results with the values as count of matches and a partial list of the matching encounters (depending on values of start and length parameters) while the keys are are 'count' and 'objectList' respectively, if the length parameter is not specified, then all matches will be returned from the start index if specified.
 * @param phrase patient name or identifier
 * @param includeVoided Specifies if voided encounters should be included or not
 * @param start the beginning index
 * @param length the number of matching encounters to return
 * @return a map of results
 * @throws APIException
 * @since 1.8
 */
public Map<String,Object> findCountAndEncounters(String phrase,boolean includeVoided,Integer start,Integer length) throws APIException {
  Map<String,Object> resultsMap=new HashMap<String,Object>();
  EncounterService es=Context.getEncounterService();
  int encounterCount=Context.getEncounterService().getCountOfEncounters(phrase,includeVoided);
  if (phrase.matches("String_Node_Str")) {
    Encounter e=es.getEncounter(Integer.valueOf(phrase));
    if (e != null) {
      if (!e.isVoided() || includeVoided == true)       encounterCount++;
    }
  }
  Vector<Object> objectList=new Vector<Object>();
  if (encounterCount > 0)   objectList=findEncounters(phrase,includeVoided,start,length);
  resultsMap.put("String_Node_Str",encounterCount);
  resultsMap.put("String_Node_Str",objectList);
  return resultsMap;
}
Program: 84501
Project: 84501
Buggy source:
/** 
 * Does the actual working of printing the date pattern
 * @see javax.servlet.jsp.tagext.TagSupport#doStartTag()
 */
public int doStartTag(){
  SimpleDateFormat dateFormat=Context.getDateFormat();
  try {
    pageContext.getOut().write(dateFormat.toLocalizedPattern().toLowerCase());
  }
 catch (  Exception e) {
    log.error("String_Node_Str",e);
  }
  return SKIP_BODY;
}

Fixed version (ground truth):
/** 
 * Does the actual working of printing the date pattern
 * @see javax.servlet.jsp.tagext.TagSupport#doStartTag()
 */
@Override public int doStartTag(){
  SimpleDateFormat dateFormat=Context.getDateFormat();
  try {
    String pattern=dateFormat.toLocalizedPattern().toLowerCase();
    if ((localize != null) && "String_Node_Str".equals(localize)) {
      pattern=dateFormat.toPattern().toLowerCase();
    }
    pageContext.getOut().write(pattern);
  }
 catch (  Exception e) {
    log.error("String_Node_Str",e);
  }
  return SKIP_BODY;
}
Program: 84504
Project: 84504
Buggy source:
/** 
 * Gets the destination directory for hl7 archives.
 * @return The destination directory for the hl7 in archive
 */
public static File getHl7ArchivesDirectory() throws APIException {
  return OpenmrsUtil.getDirectoryInApplicationDataDirectory(Context.getAdministrationService().getGlobalProperty(OpenmrsConstants.GLOBAL_PROPERTY_HL7_ARCHIVE_DIRECTORY));
}

Fixed version (ground truth):
/** 
 * Gets the destination directory for hl7 archives.
 * @return The destination directory for the hl7 in archive
 */
public static File getHl7ArchivesDirectory() throws APIException {
  String archiveDir=Context.getAdministrationService().getGlobalProperty(OpenmrsConstants.GLOBAL_PROPERTY_HL7_ARCHIVE_DIRECTORY);
  if (StringUtils.isBlank(archiveDir)) {
    log.warn("String_Node_Str" + OpenmrsConstants.GLOBAL_PROPERTY_HL7_ARCHIVE_DIRECTORY + "String_Node_Str");
    GlobalProperty gp=Context.getAdministrationService().getGlobalPropertyObject(OpenmrsConstants.GLOBAL_PROPERTY_HL7_ARCHIVE_DIRECTORY);
    gp.setPropertyValue(HL7Constants.HL7_ARCHIVE_DIRECTORY_NAME);
    gp=Context.getAdministrationService().saveGlobalProperty(gp);
    archiveDir=gp.getPropertyValue();
  }
  return OpenmrsUtil.getDirectoryInApplicationDataDirectory(archiveDir);
}
Program: 84507
Project: 84507
Buggy source:
/** 
 * @see liquibase.change.custom.CustomTaskChange#execute(liquibase.database.Database)
 */
public void execute(Database database) throws CustomChangeException, UnsupportedChangeException {
  DatabaseConnection connection=database.getConnection();
  String trueConceptName="String_Node_Str";
  String falseConceptName="String_Node_Str";
  final boolean trueFalseGlobalPropertiesPresent=getInt(connection,"String_Node_Str" + OpenmrsConstants.GLOBAL_PROPERTY_TRUE_CONCEPT + "String_Node_Str"+ OpenmrsConstants.GLOBAL_PROPERTY_FALSE_CONCEPT+ "String_Node_Str") == 2;
  for (  String[] trueFalseConceptNames : BOOLEAN_CONCEPTS_VALUES) {
    trueConceptName=trueFalseConceptNames[0];
    falseConceptName=trueFalseConceptNames[1];
    final boolean conceptNamesPresent=getInt(connection,"String_Node_Str" + trueConceptName + "String_Node_Str"+ falseConceptName+ "String_Node_Str") == 2;
    if (conceptNamesPresent) {
      if (!trueFalseGlobalPropertiesPresent)       createGlobalProperties(connection,trueConceptName,falseConceptName);
      changeObs(connection,trueConceptName,falseConceptName);
      return;
    }
  }
  trueConceptName=BOOLEAN_CONCEPTS_VALUES[0][0];
  falseConceptName=BOOLEAN_CONCEPTS_VALUES[0][1];
  if (!trueFalseGlobalPropertiesPresent)   createConcepts(connection,trueConceptName,falseConceptName);
  createGlobalProperties(connection,trueConceptName,falseConceptName);
  changeObs(connection,trueConceptName,falseConceptName);
}

Fixed version (ground truth):
/** 
 * @see liquibase.change.custom.CustomTaskChange#execute(liquibase.database.Database)
 */
public void execute(Database database) throws CustomChangeException, UnsupportedChangeException {
  DatabaseConnection connection=database.getConnection();
  String trueConceptName="String_Node_Str";
  String falseConceptName="String_Node_Str";
  final boolean trueFalseGlobalPropertiesPresent=getInt(connection,"String_Node_Str" + OpenmrsConstants.GLOBAL_PROPERTY_TRUE_CONCEPT + "String_Node_Str"+ OpenmrsConstants.GLOBAL_PROPERTY_FALSE_CONCEPT+ "String_Node_Str") == 2;
  for (  String[] trueFalseConceptNames : BOOLEAN_CONCEPTS_VALUES) {
    trueConceptName=trueFalseConceptNames[0];
    falseConceptName=trueFalseConceptNames[1];
    final boolean conceptNamesPresent=getInt(connection,"String_Node_Str" + trueConceptName + "String_Node_Str"+ falseConceptName+ "String_Node_Str") == 2;
    if (conceptNamesPresent) {
      if (!trueFalseGlobalPropertiesPresent)       createGlobalProperties(connection,trueConceptName,falseConceptName);
      changeObs(connection,trueConceptName,falseConceptName);
      return;
    }
  }
  trueConceptName=BOOLEAN_CONCEPTS_VALUES[0][0];
  falseConceptName=BOOLEAN_CONCEPTS_VALUES[0][1];
  createConcepts(connection,trueConceptName,falseConceptName);
  if (!trueFalseGlobalPropertiesPresent)   createGlobalProperties(connection,trueConceptName,falseConceptName);
  changeObs(connection,trueConceptName,falseConceptName);
}
Program: 84511
Project: 84511
Buggy source:
/** 
 * @see {@link UserFormController#handleSubmission(WebRequest,HttpSession,String,String,String,null,User,BindingResult)}
 */
@Test @Verifies(value="String_Node_Str",method="String_Node_Str") public void handleSubmission_shouldWorkForAnExample() throws Exception {
  UserFormController controller=new UserFormController();
  WebRequest request=new ServletWebRequest(new MockHttpServletRequest());
  User user=controller.formBackingObject(request,null);
  user.addName(new PersonName("String_Node_Str","String_Node_Str","String_Node_Str"));
  user.getPerson().setGender("String_Node_Str");
  controller.handleSubmission(request,new MockHttpSession(),new ModelMap(),"String_Node_Str","String_Node_Str","String_Node_Str",new String[0],user,new BindException(user,"String_Node_Str"));
}

Fixed version (ground truth):
/** 
 * @see {@link UserFormController#handleSubmission(WebRequest,HttpSession,String,String,String,null,User,BindingResult)}
 */
@Test @Verifies(value="String_Node_Str",method="String_Node_Str") public void handleSubmission_shouldWorkForAnExample() throws Exception {
  UserFormController controller=new UserFormController();
  WebRequest request=new ServletWebRequest(new MockHttpServletRequest());
  User user=controller.formBackingObject(request,null);
  user.addName(new PersonName("String_Node_Str","String_Node_Str","String_Node_Str"));
  user.getPerson().setGender("String_Node_Str");
  controller.handleSubmission(request,new MockHttpSession(),new ModelMap(),"String_Node_Str","String_Node_Str","String_Node_Str",new String[0],"String_Node_Str",user,new BindException(user,"String_Node_Str"));
}
Program: 84513
Project: 84513
Buggy source:
/** 
 * Prepares the form view
 */
public ModelAndView showForm(HttpServletRequest request,HttpServletResponse response,BindException errors) throws Exception {
  log.debug("String_Node_Str");
  ModelAndView mav=super.showForm(request,response,errors);
  Object o=mav.getModel().get(this.getCommandName());
  List personList=(List)o;
  log.debug("String_Node_Str" + personList.size());
  if (personList.size() < 1 && Context.isAuthenticated()) {
    getParametersFromRequest(request);
    if (viewType == null)     viewType="String_Node_Str";
    log.debug("String_Node_Str" + name + "String_Node_Str"+ birthdate+ "String_Node_Str"+ age+ "String_Node_Str"+ gender);
    if (!name.equals("String_Node_Str") || !birthdate.equals("String_Node_Str") || !age.equals("String_Node_Str")|| !gender.equals("String_Node_Str")) {
      mav.clear();
      mav.setView(new RedirectView(getPersonURL("String_Node_Str",personType,viewType,request)));
    }
  }
  return mav;
}

Fixed version (ground truth):
/** 
 * Prepares the form view
 */
public ModelAndView showForm(HttpServletRequest request,HttpServletResponse response,BindException errors) throws Exception {
  log.debug("String_Node_Str");
  ModelAndView mav=super.showForm(request,response,errors);
  if (invalidAgeFormat) {
    mav=new ModelAndView(FORM_ENTRY_ERROR_URL);
    mav.addObject("String_Node_Str","String_Node_Str");
    mav.addObject("String_Node_Str","String_Node_Str");
    return mav;
  }
  Object o=mav.getModel().get(this.getCommandName());
  List personList=(List)o;
  log.debug("String_Node_Str" + personList.size());
  if (personList.size() < 1 && Context.isAuthenticated()) {
    getParametersFromRequest(request);
    if (viewType == null)     viewType="String_Node_Str";
    log.debug("String_Node_Str" + name + "String_Node_Str"+ birthdate+ "String_Node_Str"+ age+ "String_Node_Str"+ gender);
    if (!name.equals("String_Node_Str") || !birthdate.equals("String_Node_Str") || !age.equals("String_Node_Str")|| !gender.equals("String_Node_Str")) {
      mav.clear();
      mav.setView(new RedirectView(getPersonURL("String_Node_Str",personType,viewType,request)));
    }
  }
  return mav;
}
Program: 84514
Project: 84514
Buggy source:
public static String escapeQuotesAndNewlines(String s){
  if (s == null)   return "String_Node_Str";
  s=s.replace("String_Node_Str","String_Node_Str");
  s=s.replace("String_Node_Str","String_Node_Str");
  return s;
}

Fixed version (ground truth):
public static String escapeQuotesAndNewlines(String s){
  if (s == null)   return "String_Node_Str";
  s=s.replace("String_Node_Str","String_Node_Str");
  s=s.replace("String_Node_Str","String_Node_Str");
  s=s.replace("String_Node_Str","String_Node_Str");
  return s;
}
Program: 84517
Project: 84517
Buggy source:
@RequestMapping(value="String_Node_Str",method=RequestMethod.GET) public String showForm(@RequestParam(required=false,value="String_Node_Str") Integer userId,@ModelAttribute("String_Node_Str") User user,ModelMap model){
  model.addAttribute("String_Node_Str",user == null || user.getUserId() == null);
  if (user == null || user.getUserId() == null || Context.hasPrivilege(OpenmrsConstants.PRIV_EDIT_USER_PASSWORDS))   model.addAttribute("String_Node_Str",true);
  return "String_Node_Str";
}

Fixed version (ground truth):
@RequestMapping(value="String_Node_Str",method=RequestMethod.GET) public String showForm(@RequestParam(required=false,value="String_Node_Str") Integer userId,@RequestParam(required=false,value="String_Node_Str") String createNewPerson,@ModelAttribute("String_Node_Str") User user,ModelMap model){
  model.addAttribute("String_Node_Str",user == null || user.getUserId() == null);
  if (user == null || user.getUserId() == null || Context.hasPrivilege(OpenmrsConstants.PRIV_EDIT_USER_PASSWORDS))   model.addAttribute("String_Node_Str",true);
  if (createNewPerson != null)   model.addAttribute("String_Node_Str",createNewPerson);
  return "String_Node_Str";
}
Program: 84518
Project: 84518
Buggy source:
/** 
 * @see java.lang.Object#equals(java.lang.Object)
 * @should compare on conceptNameId if non null
 * @should not return true with different objects and null ids
 * @should default to object equality
 */
public boolean equals(Object obj){
  if (!(obj instanceof ConceptName)) {
    return false;
  }
  ConceptName rhs=(ConceptName)obj;
  if (this.conceptNameId != null && rhs.conceptNameId != null)   return (this.conceptNameId.equals(rhs.conceptNameId));
 else   return this == obj;
}

Fixed version (ground truth):
/** 
 * @see java.lang.Object#equals(java.lang.Object)
 * @should compare on conceptNameId if non null
 * @should not return true with different objects and null ids
 * @should default to object equality
 */
public boolean equals(Object obj){
  if (!(obj instanceof ConceptName)) {
    return false;
  }
  ConceptName rhs=(ConceptName)obj;
  if (this.conceptNameId != null && rhs.conceptNameId != null)   return (this.conceptNameId.equals(rhs.concept));
 else   return this == obj;
}
Program: 84521
Project: 84521
Buggy source:
/** 
 * @param supportedTypes the supportedTypes to set
 */
public void setSupportedTypes(List<Class<? extends OpenmrsObject>> supportedTypes){
  this.supportedTypes=supportedTypes;
}

Fixed version (ground truth):
/** 
 * @param supportedTypes the supportedTypes to set
 */
public void setSupportedTypes(List<Class<? extends OpenmrsObject>> supportedTypes){
  if (this.supportedTypes == null) {
    this.supportedTypes=new ArrayList<Class<? extends OpenmrsObject>>();
  }
  if (supportedTypes != null) {
    for (    Class<? extends OpenmrsObject> clazz : supportedTypes) {
      this.supportedTypes.add(clazz);
    }
  }
}
Program: 84522
Project: 84522
Buggy source:
/** 
 * This is called prior to displaying a form for the first time. It tells Spring the form/command object to load into the request
 * @see org.springframework.web.servlet.mvc.AbstractFormController#formBackingObject(javax.servlet.http.HttpServletRequest)
 */
protected Object formBackingObject(HttpServletRequest request) throws ServletException {
  List<User> userList=new Vector<User>();
  if (Context.isAuthenticated()) {
    UserService us=Context.getUserService();
    userList=us.getAllUsers();
  }
  return userList;
}

Fixed version (ground truth):
/** 
 * This is called prior to displaying a form for the first time. It tells Spring the form/command object to load into the request
 * @see org.springframework.web.servlet.mvc.AbstractFormController#formBackingObject(javax.servlet.http.HttpServletRequest)
 */
protected Object formBackingObject(HttpServletRequest request) throws ServletException {
  List<User> userList=new Vector<User>();
  if (Context.isAuthenticated()) {
  }
  return userList;
}