if (!source.equalsIgnoreCase(destination) && !s.renameTo(new_file)) {
			new_file.delete();
			if (!s.renameTo(new_file)) {
				// file.renameTo() does not work across different filesystems,
				// so we have to copy the file and then delete the source instead.
				try {
					this.copyFile(source, destination);
					s.delete();
				} catch (Exception ex) {
					throw new ApplicationException(new ErrMsg(
							"error.misc.invalid_variable", source, "FILE"));
				}
			}
		}