Re: [armedbear] #429: Some java stack frames don't have source file information, leading to null pointer exceptions