 @param selectionProvider the selection provider used instead of the
	 *  page selection provider.
 @param selectionProvider the selection provider used instead of the
	 *  page selection provider. | GenerateActionGroup.java