Merge "File: Allow java.io.tmpdir to change."