dispose handlers not called when stop button pressed

Created by: jdf

In the following sketch, the dispose handler is called when the escape key is pressed, but not when the stop button is pressed.

dispose_bug

SampleLibrary s;
void setup() {
  size(200, 200, P3D);
  s = new SampleLibrary(this);
}

void draw() {
  background(255);
  fill(0);
  text("" + millis(), 20, 20);
}

SampleLibrary.java

import processing.core.*;

public class SampleLibrary {

  public SampleLibrary(PApplet parent) {
    parent.registerMethod("dispose", this);
  }

  public void dispose() {
    System.err.println("disposed!");
  }
}

まず、提供されている dispose_bug sketch を Processing で実行し、Escape を押した場合と停止ボタンを押した場合を比較します。停止ボタンによるシャットダウンの経路と、SampleLibrary.java に示されている登録済みの dispose ハンドラーを追跡します。完了条件は、sketch を停止する両方の方法でハンドラーが呼び出されることです。