[java] Is there a common Java utility to break a list into batches?