626364656667686970
} public void hook(ExtensionHook extensionHook) { super.hook(extensionHook); if (getView() != null) { ExtensionHookView pv = extensionHook.getHookView(); extensionHook.getHookMenu().addToolsMenuItem(getMenuBeanShell()); } }