やっと見つけました。どうも探し方が悪かったようで、妙に時間がかかってしまいました。というのも、IVMRunner などのインタフェースの Javadoc ばかり見ていたからなのです。いいわけですけど ^^;;まさか、インプリメントしたクラスに定義されているとは思…