Bug 310908 [Markers] NPE thrown by markers job
I20100426-0852 I had one editor open in my window. It was maximized and opened on an external file. When I closed it, this NPE suddenly appeared. java.lang.NullPointerException at org.eclipse.ui.internal.views.markers.MarkerFieldFilterGroup.loadSettings(MarkerFieldFilterGroup.java:448) at org.eclipse.ui.internal.views.markers.MarkerContentGenerator.loadGroupWithID(MarkerContentGenerator.java:521) at org.eclipse.ui.internal.views.markers.MarkerContentGenerator.loadFilterSettings(MarkerContentGenerator.java:449) at org.eclipse.ui.internal.views.markers.MarkerContentGenerator.loadFiltersFrom(MarkerContentGenerator.java:467) at org.eclipse.ui.internal.views.markers.MarkerContentGenerator.loadFiltersPreference(MarkerContentGenerator.java:479) at org.eclipse.ui.internal.views.markers.MarkerContentGenerator.getAllFilters(MarkerContentGenerator.java:293) at org.eclipse.ui.internal.views.markers.MarkerContentGenerator.getEnabledFilters(MarkerContentGenerator.java:307) at org.eclipse.ui.internal.views.markers.MarkerContentGenerator.getResourcesForBuild(MarkerContentGenerator.java:904) at org.eclipse.ui.internal.views.markers.MarkerContentGenerator.gatherMarkers(MarkerContentGenerator.java:1004) at org.eclipse.ui.internal.views.markers.MarkerContentGenerator.generateMarkerEntries(MarkerContentGenerator.java:991) at org.eclipse.ui.internal.views.markers.MarkerUpdateJob.clean(MarkerUpdateJob.java:117) at org.eclipse.ui.internal.views.markers.MarkerUpdateJob.buildMarkers(MarkerUpdateJob.java:77) at org.eclipse.ui.internal.views.markers.MarkerUpdateJob.run(MarkerUpdateJob.java:57) at org.eclipse.core.internal.jobs.Worker.run(Worker.java:54)
bundles/org.eclipse.ui.ide/src/org/eclipse/ui/internal/views/markers/MarkerFieldFilterGroup.java
* Return the id of the receiver.
	 * 
	 * @return String
	 */
	public String getID() {
		if (id == null) {
			if (element == null)
				id = USER + String.valueOf(System.currentTimeMillis());
			else
				id = element
						.getAttribute(MarkerSupportInternalUtilities.ATTRIBUTE_NAME);
		}
		return id;
	}
	/**
	 * Return the name of the receiver.
	 * 
	 * @return String
	 */
	public String getName() {
		if (name == null) {
			if (element == null)
				name = MarkerSupportInternalUtilities.EMPTY_STRING;
			else
				name = element
						.getAttribute(MarkerSupportInternalUtilities.ATTRIBUTE_NAME);
		}
		return name;
	}
	/**