* @throws OutOfMemoryError
*/
String[] fetchBatch(String ids, String database, String format,
File outFile) throws OutOfMemoryError
{
* @throws OutOfMemoryError
*/
String[] fetchBatch(String ids, String database, String format,
File outFile) throws OutOfMemoryError
{