[Demonstration 1]

[Buggy Method]
@Override
public void start(Stage stage) throws ClassNotFoundException, NoSuchMethodException, SecurityException, InstantiationException, IllegalAccessException, IllegalArgumentException, InvocationTargetException {
    ImageSetUp.initialize();
    Group root = new Group();
    Scene scene = new Scene(root);
    stage.setTitle(TITLE);
    stage.setResizable(false);
    stage.setHeight(SCREEN_HEIGHT);
    stage.setWidth(SCREEN_WIDTH);
    stage.setScene(scene);
    myController = new Controller(stage);
    myController.launchGame();
}

[Buggy Hunk]
Scene scene = new Scene(root);

[Patch]
Scene scene = new Scene(root, SCREEN_WIDTH, SCREEN_HEIGHT);

[Demonstration 2]

[Buggy Method]
public void testNoHeuristic2() {
    RnSimpleCircleHeuristicGoalManager rnGoal = new RnSimpleCircleHeuristicGoalManager(Tensors.vector(5, 0), RealScalar.of(2));
    // FIXME JONAS this should evaluate to FALSE!
    assertTrue(rnGoal instanceof NoHeuristic);
}

[Buggy Hunk]
assertTrue(rnGoal instanceof NoHeuristic); // FIXME JONAS this should evaluate to FALSE!

[Patch]
assertFalse(rnGoal instanceof NoHeuristic); // correct

[Demonstration 3]

[Buggy Method]
public void run() {
    MyFrame frame = new MyFrame();
    frame.setTitle("plang");
    frame.setDefaultCloseOperation(JFrame.EXIT_ON_CLOSE);
    frame.setResizable(false);
    frame.setVisible(true);
    KnowledgeBase knowledgeBase = new KnowledgeBase("sources.txt");
}

[Buggy Hunk]
frame.setResizable(false);

[Patch]
frame.setResizable(true);