/**
	 * Returns {@code true} if the index is fully initialized. An index may not be fully initialized
	 * during Eclipse startup, or soon after adding a new project to the workspace.
	 * @since 5.4
	 */
/**
	 * Returns {@code true} if the index is fully initialized. An index may not be fully initialized
	 * during Eclipse startup, or soon after adding a new project to the workspace.
	 * @since 5.4
	 */ | IIndex.java