public String getSessionArgs() {
NativeDebuggerInfo ddi = debugger.getNDI();
if (ddi != null) return ddi.getArgsFlat();
else return "";
}
// get core file location if this session is debugging core file
public String getSessionCore() {
NativeDebuggerInfo ddi = debugger.getNDI();
if (ddi != null) return ddi.getCorefile();
else return "";
}
