git.eclipse.org / datatools / org.eclipse.datatools / 8b4eabc60d455240df99de583027b07dc4295184 / plugins / org.eclipse.datatools.connectivity.sqm.core.ui / schema-doc / org_eclipse_datatools_connectivity_sqm_core_ui_markerNavigationProvider.html