###@###.### 2001-09-28

Using this java.io.File api, and accidentally discovered that it
cannot move files across filesystems. (bug4244643 was closed as not
a bug)

Pretty obvious really since that is how it is for most operating
systems, but we feel that the renameTo() documentation should state
this, or at least state some caveat about the action being system dependent.