获得磁盘(分区)大小

若有个分区"/home"，获得该分区的大小方法如下：
File dir = new File("/home");
System.out.println(dir.getFreeSpace());
System.out.println(dir.getTotalSpace());
System.out.println(dir.getUsableSpace()); //更接近df的可用空间，推荐使用

但输出的大小和linux下使用df输出的结果有点不一样，相近。可以使用了，不用再df结果输出到文件，再从文件读取。

注：JDK1.6以及以上适用。