added "ignore case" option to ArrayExecutor