[Demonstration 1]

[Buggy Method]
public static void main(String[] args) throws Exception {
    //		Nd4j.ENFORCE_NUMERICAL_STABILITY = true ;
    int batchSize = 100;
    int chunkSize = 50;
    int[] layers = { chunkSize, 100, 50, 30 };
    Path target = Paths.get("/home/mani/jfr/data");
    if (!Files.exists(target)) {
        log.info("Creating {}", target);
        Files.createDirectories(target);
    }
    AutoEncoder ae = new AutoEncoder(target, layers);
    //Load the training data:
    RecordReader recordReader = new CSVRecordReader(0, ",");
    recordReader.initialize(new FileSplit(new File("/home/mani/jfr/GCStates0.csv")));
    DataSetIterator trainIter = new RecordReaderDataSetIterator(recordReader, 1);
    log.info("Load datasets ... ");
    ae.train(trainIter);
    log.info("Saving params ...");
    ae.save(target);
}

[Buggy Hunk]
AutoEncoder ae = new AutoEncoder( target, layers ) ;

[Patch]
LSTMAutoEncoder ae = new LSTMAutoEncoder( target, layers ) ;

[Demonstration 2]

[Buggy Method]
private int[] findEmptySpace() {
    for (int i = 0; i < 9; i++) {
        for (int j = 0; j < 9; j++) {
            if (boardArray[i][j] == 0) {
                return new int[] { i, j };
            }
        }
    }
    return new int[] { 10 };
}

[Buggy Hunk]
return new int[] {10};

[Patch]
return new int[] {10,10};

[Demonstration 3]

[Buggy Method]
public static Result service(String ownerName, String projectName, String service, boolean isAdvertise) throws IOException, UnsupportedOperationException, ServletException {
    if (!isSupportedService(service)) {
        return forbidden(String.format("Unsupported service: '%s'", service));
    }
    Project project = Project.findByOwnerAndProjectName(ownerName, projectName);
    if (project == null) {
        return notFound();
    }
    models.User user = UserApp.currentUser();
    if (!isAllowed(project, service)) {
        if (user.isAnonymous()) {
            return BasicAuthAction.unauthorized(response());
        } else {
            // If you want the Git client showing your custom message to
            // the user, the Content-Type should be exact "text/plain"
            // without any parameter. For more details, see the code at
            // https://github.com/git/git/commit/426e70d4a11ce3b4f70636d57c6a0ab16ae08a00#diff-eea0ad565ec5903a11b6023755d491cfR154
            response().setHeader("Content-Type", "text/plain");
            return forbidden(String.format("'%s' has no permission to '%s/%s'.", user.name, ownerName, projectName));
        }
    }
    if (isAdvertise) {
        return ok(RepositoryService.gitAdvertise(project, service, response()));
    } else {
        if (request().body().isMaxSizeExceeded()) {
            return status(REQUEST_ENTITY_TOO_LARGE);
        } else {
            user.visits(project);
            return ok(RepositoryService.gitRpc(project, service, request(), response()));
        }
    }
}

[Buggy Hunk]
user.name, ownerName, projectName));

[Patch]
user.loginId, ownerName, projectName));