7172737475767778
}, "File"); } private void closeTab() { UIRequestCloseCurrentTab req = new UIRequestCloseCurrentTab(this.owner); this.userInterface.addRequest(req); }