public void putInstanceName(String newInstanceName) {
		this.instanceName = newInstanceName;
		if (instanceName.length() == 0) {
			fullName = toolName;
		}
		else {
			fullName = toolName + "(" + instanceName + ")";
		}
		updateTitle();
	}
Returns true if there is at least one tool listening to this tool's plugin events
@return true if there is at least one tool listening to this tool's plugin events
Ghidra/Framework/Project/src/main/java/ghidra/framework/plugintool/PluginTool.java