try{
BufferedReader br=new BufferedReader(new FileReader(file));
String line=null;
while((line=br.readLine())!=null)
{
a.append(line+"\r\n");//换行
a.setCaretPosition(0);
}
}catch(Exception e1){throw new RuntimeException();}