@Override
				public void mouseReleased(MouseEvent e) {
					if (e.getClickCount() == 2 && !isEditing()) {
						Point point = e.getPoint();
						navigate(rowAtPoint(point), columnAtPoint(point));
					}
				}
Sets the service provider to use when navigation is enabled on this table.
<p>
The service provider will be used to retrieve the {@link GoToService}, as needed after the
system has been initialized.

@param sp the service provider
Ghidra/Features/Base/src/main/java/ghidra/util/table/GhidraTable.java