/**
* Configure the thread filter property of the given request.
*/
protected void configureRequestThreadFilter(EventRequest request,
JDIDebugTarget target) {
IJavaThread thread = fFilteredThreadsByTarget.get(target);
if (thread == null || (!(thread instanceof JDIThread))) {
return;
}
setRequestThreadFilter(request,
((JDIThread) thread).getUnderlyingThread());