code: public boolean renameTo( Resource dest)
          throws SecurityException
      {
          if( dest instanceof FileResource)
              return _file.renameTo( ((FileResource)dest)._file);
          else
              return false;
      }
docs: Rename the given resource