file.mkdir();
if (!file.mkdir()) { throw new SmartFrogException("Failed to create directory "+file.toString()); }
    public static File createTempDir(String dir, String prefix, String suffix)            throws SmartFrogException {        File file=createTempFile(prefix, suffix, dir);        file.delete();        file.mkdir();        return file;    }