}
public IReachabilityGraph getReachGraphFocus()
{
JInternalFrame[] frames = desktop.getAllFrames();
IReachabilityGraph result = null;
for (int i=0;(result==null)&&(i<frames.length);++i)
if (frames[i] instanceof IReachabilityGraph)
result = ((IReachabilityGraph)frames[i]);
return result;
}