Bug 578786 - Remove BookmarkNavigator and related API Remove javadoc Change-Id: I5975975c9e2225af23ed3ab168cd29c90531824c Reviewed-on: https://git.eclipse.org/r/c/platform/eclipse.platform.common/+/191757 Tested-by: Alexander Kurtakov <akurtako@redhat.com> Reviewed-by: Alexander Kurtakov <akurtako@redhat.com>