if (selected == null) return null; else if (selected == toolbar.getJFrame()) if (last_selected != null) return last_selected.getJSLFrame(); else return null; else return ((JSLFrame.JSLFrameProxy) selected).getJSLFrame();
return last_selected;
	public JSLFrame getSelectedJSLFrame() {	    if (selected == null)	        return null;	    else if (selected == toolbar.getJFrame())                if (last_selected != null)                    return last_selected.getJSLFrame();                else                    return null;            else                return ((JSLFrame.JSLFrameProxy) selected).getJSLFrame();        }