Bug 300899 Endless OpenDoc events
When we changed the code to send OpenDoc instead of post it, it seems that we broke carbon. If you open an associated file Eclipse becomes unusable because of many OpenDoc events.
bundles/org.eclipse.ui.ide/src/org/eclipse/ui/ide/IDE.java
public static final String MAX_RECENT_WORKSPACES = "MAX_RECENT_WORKSPACES"; 
		/**
		 * <p>
		 * Stores a comma separated list of the recently used workspace paths.
		 * </p>
		 * 
		 * @since 3.1
		 */
		public static final String RECENT_WORKSPACES = "RECENT_WORKSPACES"; 
		/**
		 * <p>
		 * Stores the version of the protocol used to decode/encode the list of
		 * recent workspaces.
		 * </p>
		 * 
		 * @since 3.1
		 */
		public static final String RECENT_WORKSPACES_PROTOCOL = "RECENT_WORKSPACES_PROTOCOL"; 
	}
	/**
	 * A saveable filter that selects savables that contain resources that
	 * are descendants of the roots of the filter.
	 * @since 3.3
	 *
	 */
	private static class SaveFilter implements ISaveableFilter {
		private final IResource[] roots;
		/**
		 * Create the filter
		 * @param roots the save roots