static File copyFileToClipboard(File f) {
  if (f == null) null;
  Toolkit.getDefaultToolkit().getSystemClipboard().setContents(
    new FileTransferable(f), null);
  vmBus_send('newClipboardContents, f);
  ret f;
}