private void showDisconnectedDialog(final RepositoryAdapter repository) {

		// @formatter:off
		String message = "The Ghidra Server repository unexpectedly disconnected: " +
			repository +
			"\nThis can occur if your system becomes suspended or due to a server/network problem." +
			"\n \nRepository status and actions will be unavailable until" +
			"\nthe server connection is re-established.  Any files opened from the" +
			"\nserver may be forced to close as a result.";
		// @formatter:on

		OkDialog info = new OkDialog("Ghidra Server Error", message, DISCONNECTED_ICON);
		info.show(tool.getToolFrame());
	}
Construct a new FrontEndPlugin. This plugin is constructed once when
the Front end tool (Ghidra Project Window) is created. When a
previously opened project is created, the Ghidra Project Window is
restored to the state associated with that project.
@param tool the front end tool
Ghidra/Framework/Project/src/main/java/ghidra/framework/main/FrontEndPlugin.java