Java中 怎样判断一个File对象代表的文件的扩展名txt?还有如何输出这个文本的内容?

File有个getName方法
获取名字后用String的endsWith方法

import java.io.BufferedReader;
import java.io.File;
import java.io.FileReader;

public class Test4 {
public static void main(String[] args) throws Exception {
File file = new java.io.File("c:/a.txt");
String name = file.getName();
if(!name.trim().toLowerCase().endsWith(".txt")) {
System.out.println("非.txt文件");
return;
}

if(!file.isFile()) {
System.out.println("不是文件");
return;
}
FileReader fr = new FileReader(file);
BufferedReader br = new BufferedReader(fr);

StringBuilder b = new StringBuilder();
String str = null;
while((str=br.readLine()) != null) {
b.append(str);
}
br.close();
System.out.println("文本文件内容:" + b.toString());
}
}