added Arrays.extract()