@Override
	public void setVisible(boolean visible) {
		if (visible) {
			if (!hasBeenShown) { // first time being shown
				getExtensionManager().checkForNewExtensions();
			}
			hasBeenShown = true;
		}
		super.setVisible(visible);
	}
We need to do this here, since our parent constructor calls methods on us that need the 
extension manager.
@return the extension manager
Ghidra/Framework/Project/src/main/java/ghidra/framework/project/tool/GhidraTool.java