return; original.renameTo(new File(target));
return false; return original.renameTo(new File(target));
	private void move(String source, String target) {		File original = new File(source);		// its ok if the original does not exist. The table entry will capture		// that fact. There is no need to put something in the filesystem.		if (!original.exists())			return;		original.renameTo(new File(target));	}