[Demonstration 1]

[Buggy Method]
@Test
public void testSize() {
    IGrid<ICell> grid = new GridFactory().size(1, 2).mines(1).random().getGrid();
    assertEquals(1, grid.getHeight());
    assertEquals(2, grid.getWidth());
}

[Buggy Hunk]
IGrid<ICell> grid = new GridFactory().size(1, 2).mines(1).random().getGrid();

[Patch]
IGrid<ICell> grid = new GridFactory().size(1, 2).mines(1).noMines().getGrid();

[Demonstration 2]

[Buggy Method]
public ArrayList<ArrayList<Case>> getPlateau() {
    return plateau;
}

[Buggy Hunk]
public ArrayList<ArrayList<Case>> getPlateau() {

[Patch]
public Case[][] getPlateau(){

[Demonstration 3]

[Buggy Method]
@Override
protected void onCreate(Bundle savedInstanceState) {
    super.onCreate(savedInstanceState);
    setContentView(R.layout.activity_student);
    Button refreshButton = (Button) findViewById(R.id.refresh_button);
    listView = (ListView) findViewById(R.id.listView);
    refreshButton.setOnClickListener(new View.OnClickListener() {

        @Override
        public void onClick(View view) {
            attemptRefresh();
        }
    });
    //Populate the list of packages
    List<String> packageList = client.getPackages(Data.username);
    ArrayAdapter<String> adapter = new ArrayAdapter<>(this, android.R.layout.activity_list_item, packageList);
    listView.setAdapter(adapter);
}

[Buggy Hunk]
ArrayAdapter<String> adapter = new ArrayAdapter<>(this,android.R.layout.activity_list_item,packageList);

[Patch]
ArrayAdapter<String> adapter = new ArrayAdapter<>(this,android.R.layout.simple_list_item_1,packageList);