public void titleTextChanged(Dockable dockable, String oldTitle, String newTitle) { setText(newTitle); String tooltip = dockable.getTitleToolTip(); if (tooltip == null || tooltip.length() == 0) { setTooltip(newTitle); } }