@param names an array of names, which has to be matched by the qualified name of
	 *     the bindings.
	 * @param filter a filter that allows for skipping parts of the index
	 * @param monitor a monitor to report progress, may be {@code null}.
	 * @return an array of bindings matching the pattern
	 * @throws CoreException
@param names an array of names, which has to be matched by the qualified name of
	 *     the bindings.
	 * @param filter a filter that allows for skipping parts of the index
	 * @param monitor a monitor to report progress, may be {@code null}.
	 * @return an array of bindings matching the pattern
	 * @throws CoreException | IIndex.java