There's a File.renameTo() method, but no File.remove() method.
Truncating a file and/or renaming it to an obscure name is just
about as good as removing it, but not quite. There seems to be
no reason not to provide this function.

There should probably be a rmdir function as well.

The description field as copied from bug report 1222517 follows:

There is no way to delete files.