[Demonstration 1]

[Buggy Method]
@Override
protected void onHandleIntent(Intent intent) {
    AntaresUtil util = new AntaresUtil();
    DLFile highestServerFile = util.max(util.handleJson(util.testIt(getApplicationContext(), false)));
    int systemVersion = util.stripVersionNumber(util.getRoDotCmDotDisplayDotVersion());
    int upstreamVersion = util.stripVersionNumber(highestServerFile.getName());
    int NOTIFICATION_ID = 1;
    Notification mNotification;
    NotificationManager mNotificationManager;
    mNotificationManager = (NotificationManager) getApplicationContext().getSystemService(Context.NOTIFICATION_SERVICE);
    if (upstreamVersion > systemVersion) {
        Intent mainIntent = new Intent(getApplicationContext(), MainActivity.class);
        PendingIntent pIntent = PendingIntent.getActivity(getApplicationContext(), 0, mainIntent, 0);
        Notification.Builder mBuilder = new Notification.Builder(getApplicationContext()).setSmallIcon(android.R.drawable.stat_sys_download_done).setAutoCancel(true).setContentTitle(getResources().getString(R.string.rom_update_available)).setContentText(getResources().getString(R.string.new_update) + ": " + systemVersion).setCategory("AntaresOneUpdater").setColor(Color.parseColor("#2196F3")).setContentIntent(pIntent);
        Notification.InboxStyle inboxStyle = new Notification.InboxStyle();
        inboxStyle.setBigContentTitle(getResources().getString(R.string.version_details));
        inboxStyle.addLine(getResources().getString(R.string.your_version) + ": " + systemVersion);
        inboxStyle.addLine(getResources().getString(R.string.upstream_version) + ": " + upstreamVersion);
        mBuilder.setStyle(inboxStyle);
        mNotification = mBuilder.getNotification();
        mNotificationManager.notify(NOTIFICATION_ID, mNotification);
    }
    registerAlarm(getApplicationContext());
}

[Buggy Hunk]
.setContentText(getResources().getString(R.string.new_update) + ": " + systemVersion)

[Patch]
.setContentText(getResources().getString(R.string.new_update) + ": " + upsteamVersion)

[Demonstration 2]

[Buggy Method]
@Test
public void testDisplayAnAdmissiblelabelling() {
    Model m = new Model();
    MyVertex v1 = m.modelGraph.addMyVertex();
    MyVertex v2 = m.modelGraph.addMyVertex();
    MyVertex v3 = m.modelGraph.addMyVertex();
    m.modelGraph.addMyEdge(v1, v2);
    m.modelGraph.addMyEdge(v2, v3);
    System.out.println("all addmissible outcome 2" + m.allAdmissibleLabelling2());
    m.displayALabelling(m.allAdmissibleLabelling2());
    System.out.print("vertex 1 label is " + v1.getLabel() + " \n Vertex 2 label is " + v2.getLabel() + " \n Vertex 3's label is " + v3.getLabel());
}

[Buggy Hunk]
m.displayALabelling(m.allAdmissibleLabelling2());

[Patch]
m.labellingSetString(m.allAdmissibleLabelling2());

[Demonstration 3]

[Buggy Method]
private View.OnClickListener getViewsClickListener(final int pos) {
    return new View.OnClickListener() {

        @Override
        public void onClick(View v) {
            int id = v.getId();
            Magazine m = magazines.get(pos);
            View view = views.get(pos);
            if (id == R.id.downloadPDF) {
                if (!m.isDownloadedPDF()) {
                    startDownload(m, view, true);
                } else {
                    Toast.makeText(context, R.string.magazine_already_downloaded, Toast.LENGTH_LONG).show();
                }
            } else if (id == R.id.downloadText) {
                if (!m.isDownloadedPDF()) {
                    startDownload(m, view, false);
                } else {
                    Toast.makeText(context, R.string.magazine_already_downloaded, Toast.LENGTH_LONG).show();
                }
            } else if (id == R.id.readPDF) {
            } else if (id == R.id.readText) {
            } else if (id == R.id.cell) {
                switchShowMode(pos);
            } else if (id == R.id.preview) {
                switchShowMode(pos);
            }
        }
    };
}

[Buggy Hunk]
if(!m.isDownloadedPDF()) {

[Patch]
if(!m.isDownloadedText()) {