public static void preferencesChanged(boolean enabledWasChanged, boolean portWasChanged) {
		if (!enabledWasChanged && !portWasChanged) {
			return;
		}

		// Close the old server socket.  Its job is done.
		try {
			if (serverSocket != null) {
				serverSocket.close();
				Activator.getDefault().unregisterCloseable(serverSocket);
				serverSocket = null;
			}
		}
		catch (IOException e) {
			// Oh well, we tried.  This port probably won't work next time they pick it.
		}

		// Listen on the new port
		listen(GhidraSymbolLookupPreferences.getSymbolLookupPort());
	}
Called when the symbol lookup preferences change.

@param enabledWasChanged True if the enablement was changed to a new value.
@param portWasChanged True if the port preferences was changed to a new value.
GhidraBuild/EclipsePlugins/GhidraDev/GhidraDevPlugin/src/main/java/ghidradev/ghidrasymbollookup/SymbolLookupInitializer.java