public class FilenameGenerator
extends java.lang.Object
Tracks the current temporary files settings (dir and prefix), and translates between ID's and
filenames. Also provides functions for creating tempfiles (which should be safe against symlink
attacks and race conditions). FIXME Consider using File.createTempFile(). Note that using our
own code could actually be more secure if we use a better PRNG than they do (they use
"new Random()" IIRC, but maybe that's fixed now?). If we do change to using
File.createTempFile(), we will need to change TempFileBucket accordingly.