TEMP: fix too many java.io.FIle objects