}
JTabbedPane getTabbedPane() {
if (_jTabbedPane == null) {
_jTabbedPane = new JBTabbedPane(SwingConstants.RIGHT);
_jTabbedPane.setFocusable(false);
_jTabbedPane.setTabLayoutPolicy(JTabbedPane.SCROLL_TAB_LAYOUT);
_jTabbedPane.addTab(null, new VerticalTextIcon("Bug Details", true, GuiResources.FINDBUGS_ICON), getBugDetailsSplitPane(), "Bug details concerning the current selected bug in the left tree");
_jTabbedPane.setMnemonicAt(0, KeyEvent.VK_1);