Bug 264818 [Markers] Problems view: Status line shows wrong selection count summary
bundles/org.eclipse.ui.ide/src/org/eclipse/ui/internal/views/markers/MarkerMap.java
* Creates an initially empty marker map
	 */
	public MarkerMap() {
		this(new MarkerEntry[0]);
	}
	/**
	 * Create an instance of the receiver from markers.
	 * 
	 * @param markers
	 */
	public MarkerMap(MarkerEntry[] markers) {
		this.markers = markers;
	}
	/**
	 * Return the entry at index
	 * 
	 * @param index
	 * @return MarkerEntry
	 */
	public MarkerEntry elementAt(int index) {
		return markers[index];
	}
	/**
	 * Returns an array of marker counts where getMarkerCounts()[severity] is
	 * the number of markers in the list with the given severity.
	 * 
	 * @return an array of {@link Integer} where index indicates
	 *         [errors,warnings,others]
	 */
	Integer[] getMarkerCounts() {