// set the listing command to point to the file/line of the given frame
void setListingToFrame(int frameNum) throws PlayerDebugException
{
// set the module and line
Frame[] frames = m_session.getFrames();
Frame ctx = frames[frameNum];
Location l = ctx.getLocation();
SourceFile f = l.getFile();
int id = f.getId();
int line = l.getLine();
setListingPosition(id, line);