static long usedDiskSpace() {
  File f = userDir();
  ret f.getTotalSpace()-f.getUsableSpace();
}