Bug 221521 [Markers] New markers API needs to be pared down
We have too much API in some of the new classes and they can be moved to internals
bundles/org.eclipse.ui.ide/src/org/eclipse/ui/views/markers/MarkerViewUtil.java
*/
	public static final String NAME_ATTRIBUTE = "org.eclipse.ui.views.markers.name";
	/**
	 * Returns the id of the view used to show markers of the same type as the
	 * given marker.
	 * 
	 * @param marker
	 *            the marker
	 * @return the view id or <code>null</code> if no appropriate view could
	 *         be determined
	 * @throws CoreException
	 *             if an exception occurs testing the type of the marker
	 */
	public static String getViewId(IMarker marker) throws CoreException {
		if (marker.isSubtypeOf(IMarker.TASK)) {
			return IPageLayout.ID_TASK_LIST;
		} else if (marker.isSubtypeOf(IMarker.PROBLEM)) {
			return IPageLayout.ID_PROBLEM_VIEW;
		} else if (marker.isSubtypeOf(IMarker.BOOKMARK)) {
			return IPageLayout.ID_BOOKMARKS;
		}
		return null;
	}
	/**
	 * Shows the given marker in the appropriate view in the given page. This
	 * must be called from the UI thread.
	 * 
	 * @param page
	 *            the workbench page in which to show the marker
	 * @param marker